Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class Composition t => Transformer t where Source #
Instances
Transformer Maybe Source # | |
Transformer (Stateful s) Source # | |
Transformer (Conclusion e) Source # | |
Defined in Pandora.Paradigm.Basis.Conclusion type Schema (Conclusion e) u = (r :: Type -> Type) Source # lay :: Covariant u => u ~> Schema (Conclusion e) u Source # wrap :: Pointable u => Conclusion e ~> Schema (Conclusion e) u Source # |
type (:>) t u a = Transformer t => Schema t u a infixr 1 Source #