Monatron-0.3.1: Monad transformer library with uniform liftings
Control.Monatron.Open
data (f :+: g) a Source
Constructors
Instances
newtype Fix f Source
Fields
type Open e f r = (e -> r) -> f e -> rSource
(<@>) :: Open e f r -> Open e g r -> Open e (f :+: g) rSource
fix :: Open (Fix f) f r -> Fix f -> rSource
class f :<: g whereSource
Methods
inj :: f a -> g aSource
inject :: f :<: g => f (Fix g) -> Fix gSource
foldFix :: Functor f => (f a -> a) -> Fix f -> aSource