Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
Show (Fix Combinator a) Source # | |
Defined in Parsley.Internal.Core.CombinatorAST |
class IFunctor4 (f :: ([Type] -> Nat -> Type -> Type -> Type) -> [Type] -> Nat -> Type -> Type -> Type) where Source #
class IFunctor (f :: (Type -> Type) -> Type -> Type) where Source #
Instances
IFunctor ScopeRegister Source # | |
Defined in Parsley.Internal.Core.CombinatorAST imap :: (forall j. a j -> b j) -> ScopeRegister a i -> ScopeRegister b i Source # | |
IFunctor Combinator Source # | |
Defined in Parsley.Internal.Core.CombinatorAST imap :: (forall j. a j -> b j) -> Combinator a i -> Combinator b i Source # | |
IFunctor f => IFunctor (Cofree f) Source # | |
(IFunctor f, IFunctor g) => IFunctor (f :+: g) Source # | |
cata4 :: forall f a i j k x. IFunctor4 f => (forall i' j' k'. f a i' j' k' x -> a i' j' k' x) -> Fix4 f i j k x -> a i j k x Source #
mutu :: IFunctor f => (forall j. f (a :*: b) j -> a j) -> (forall j. f (a :*: b) j -> b j) -> Fix f i -> (a :*: b) i Source #