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