(<*>) :: Apply γ => γ (α->β) -> γ α -> γ β, (>>=) :: Bind γ => γ α -> (α->γ β) -> γ β #frege
-
@dibblego@missingfaktor ... Emp.{name <- } :: Emp -> (String -> String) -> Emp and Emp.{name<-String.toUpperCase} :: Emp -> Emp
@marimuthum @missingfaktor but can I, for example, compose them to get a new one? (As for lenses)
-
-
@dibblego@missingfaktor Like this? setCity c = Emp.{addr<-(Addr.{city=c})}, setCity :: String -> Emp -> EmpThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.