Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
Instances
Covariant t => Covariant (Free t) Source # | |
Covariant t => Applicative (Free t) Source # | |
Alternative t => Alternative (Free t) Source # | |
Covariant t => Bindable (Free t) Source # | |
Defined in Pandora.Paradigm.Basis.Free (>>=) :: Free t a -> (a -> Free t b) -> Free t b Source # (=<<) :: (a -> Free t b) -> Free t a -> Free t b Source # bind :: (a -> Free t b) -> Free t a -> Free t b Source # join :: (Free t :.: Free t) a -> Free t a Source # (>=>) :: (a -> Free t b) -> (b -> Free t c) -> a -> Free t c Source # (<=<) :: (b -> Free t c) -> (a -> Free t b) -> a -> Free t c Source # | |
Exclusive t => Exclusive (Free t) Source # | |
Defined in Pandora.Paradigm.Basis.Free | |
Covariant t => Pointable (Free t) Source # | |
Defined in Pandora.Paradigm.Basis.Free | |
Traversable t => Traversable (Free t) Source # | |
Defined in Pandora.Paradigm.Basis.Free |