Pandora.Paradigm.Controlflow.Joint.Transformer

Documentation

class Interpreted t => Transformer t where

Associated Types

type Schema (t :: * -> *) (u :: * -> *) = (r :: * -> *) | r -> t u

Methods

lay :: Covariant u => u ~> Schema t u

wrap :: Pointable u => t ~> Schema t u

Instances

Transformer Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Associated Types

type Schema Maybe u = (r :: Type -> Type)

Methods

lay :: Covariant u => u ~> Schema Maybe u

wrap :: Pointable u => Maybe ~> Schema Maybe u

Transformer (Stateful s)

Defined in Pandora.Paradigm.Inventory.Stateful

Associated Types

type Schema (Stateful s) u = (r :: Type -> Type)

Methods

lay :: Covariant u => u ~> Schema (Stateful s) u

wrap :: Pointable u => Stateful s ~> Schema (Stateful s) u

Transformer (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Associated Types

type Schema (Conclusion e) u = (r :: Type -> Type)

Methods

lay :: Covariant u => u ~> Schema (Conclusion e) u

wrap :: Pointable u => Conclusion e ~> Schema (Conclusion e) u

data (t :> u) a infixr 3