Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
(>&<) :: forall (f2 :: Type -> Type) (f1 :: Type -> Type) i o1 h b o2. (Tag f2, Tag f1) => TagF i o1 h f1 -> TagF b o2 h f2 -> TagF (Either i b) (Either o1 o2) h (Tags f1 f2) infixl 9 Source #
compTagF :: forall (f2 :: Type -> Type) (f1 :: Type -> Type) i o1 b o2 h. (Tag f2, Tag f1) => (F i o1 -> F b o2 -> F (Either i b) (Either o1 o2)) -> TagF i o1 h f1 -> TagF b o2 h f2 -> TagF (Either i b) (Either o1 o2) h (Tags f1 f2) Source #
mapTF :: forall i o h (t :: Type -> Type). (F i o -> F i o) -> TagF i o h t -> TagF i o h t Source #
ltr :: forall (f2 :: Type -> Type) b1 c a o b2. Tag f2 => (b1 -> c) -> TagF a o c f2 -> (F a o, Either o b1 -> c, Tags ((->) b2 :: Type -> Type) f2 (Either a b2)) Source #
(f1 a) :&: (f2 a) infixl 9 |