Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class Interpreted 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 # |