Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Commands and stuff
Documentation
data Command (m :: Type -> Type) (c :: Type) (a :: Type) Source #
A command, paremeterised over its context
forall p. Command | |
|
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Commands and stuff
data Command (m :: Type -> Type) (c :: Type) (a :: Type) Source #
A command, paremeterised over its context
forall p. Command | |
|