| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| Documentation | |||||||||||||||||||||||||||||||
| type ClassName = Atom | |||||||||||||||||||||||||||||||
| class (Typeable1 m, Monad m, Typeable c, Eq c) => Class m c | c -> m where | |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| data AnyClass m | |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| data (Monad m, Typeable1 m) => MOClass m | |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| emptyMOClass :: (Typeable1 m, Monad m) => MOClass m | |||||||||||||||||||||||||||||||
| _bless :: MethodName | |||||||||||||||||||||||||||||||
| newMOClass :: (Typeable1 m, Monad m) => MOClass m -> MOClass m | |||||||||||||||||||||||||||||||
| blessMOClass :: Class m c => c -> AnyMethod m | |||||||||||||||||||||||||||||||
| data MethodAttached m | |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| Produced by Haddock version 2.7.2 | |||||||||||||||||||||||||||||||