(<*>) :: Apply γ => γ (α->β) -> γ α -> γ β, (>>=) :: Bind γ => γ α -> (α->γ β) -> γ β #frege
-
@missingfaktor data Emp = Emp {name :: String} Here name is not a top level function but http://Emp.name :: Emp -> String
-
-
@dibblego@missingfaktor Frege has some kind of support for that too. Emp.{name=} :: Emp -> String -> Emp and ... -
@dibblego@missingfaktor ... Emp.{name <- } :: Emp -> (String -> String) -> Emp and Emp.{name<-String.toUpperCase} :: Emp -> Emp - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.