Pandora.Paradigm.Junction.Transformer

Documentation

class Transformer t where

Associated Types

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

Methods

lay :: Covariant u => u a -> Layout t u a

equip :: Pointable u => t a -> Layout t u a

Instances

Transformer Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Associated Types

type Layout Maybe u a = (r :: Type)

Methods

lay :: Covariant u => u a -> Layout Maybe u a

equip :: Pointable u => Maybe a -> Layout Maybe u a

Transformer (Stateful s)

Defined in Pandora.Paradigm.Inventory.Stateful

Associated Types

type Layout (Stateful s) u a = (r :: Type)

Methods

lay :: Covariant u => u a -> Layout (Stateful s) u a

equip :: Pointable u => Stateful s a -> Layout (Stateful s) u a

Transformer (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Associated Types

type Layout (Conclusion e) u a = (r :: Type)

Methods

lay :: Covariant u => u a -> Layout (Conclusion e) u a

equip :: Pointable u => Conclusion e a -> Layout (Conclusion e) u a