Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Hoistable t where Source #
When providing a new instance, you should ensure it satisfies one law: * Identity morphism: (identity /|\) ≡ identity * Interpreted of morphisms: (f . g /|\) ≡ (f /|\) . (g /|\)
Instances
Hoistable Outline Source # | |
Hoistable Jack Source # | |
(forall (v :: Type -> Type). Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) v) => Hoistable Instruction Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Instruction (/|\) :: forall (u :: Type -> Type) (v :: Type -> Type). Covariant (->) (->) u => (u ~> v) -> Instruction u ~> Instruction v Source # | |
(forall (u :: Type -> Type). Semimonoidal (<--) (:*:) (:*:) u) => Hoistable Construction Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Construction (/|\) :: forall (u :: Type -> Type) (v :: Type -> Type). Covariant (->) (->) u => (u ~> v) -> Construction u ~> Construction v Source # | |
Hoistable Tap Source # | |
Hoistable (Day t :: (Type -> Type) -> Type -> Type) Source # | |
Hoistable (Schematic Monad t) => Hoistable ((:>) t :: (Type -> Type) -> Type -> Type) Source # | |
Hoistable (Backwards :: (Type -> Type) -> Type -> Type) Source # | |
Hoistable (Reverse :: (Type -> Type) -> Type -> Type) Source # | |
Hoistable (Schematic Comonad t) => Hoistable ((:<) t :: (Type -> Type) -> Type -> Type) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Hoistable (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type) Source # | |