| |||||||||||||||||||||
| |||||||||||||||||||||
| Synopsis | |||||||||||||||||||||
| |||||||||||||||||||||
| Documentation | |||||||||||||||||||||
| data (Typeable1 m, Monad m) => Invocant m | |||||||||||||||||||||
| |||||||||||||||||||||
| class Monad m => Codeable m c where | |||||||||||||||||||||
| |||||||||||||||||||||
| newtype NoCode m | |||||||||||||||||||||
| |||||||||||||||||||||
| newtype PureCode | |||||||||||||||||||||
| |||||||||||||||||||||
| newtype Monad m => HsCode m | |||||||||||||||||||||
| |||||||||||||||||||||
| type Arguments m = Capt (Invocant m) | |||||||||||||||||||||
| withInvocant :: (Typeable1 m, Monad m) => Arguments m -> Invocant m -> Arguments m | |||||||||||||||||||||
| getInvocant :: (Typeable1 m, Monad m) => Arguments m -> Maybe (Invocant m) | |||||||||||||||||||||
| namedArg :: (Typeable1 m, Monad m) => Arguments m -> Atom -> Maybe (Invocant m) | |||||||||||||||||||||
| stubInvocant :: (Typeable1 m, Monad m) => Invocant m | |||||||||||||||||||||
| Produced by Haddock version 2.7.2 |