Documentation
type MethodName = AtomSource
class Monad m => Method m a | a -> m whereSource
methodName :: a -> MethodNameSource
methodCompile :: a -> MethodCompiled mSource
Monad m => Method m (SimpleMethod m) | |
Monad m => Method m (AnyMethod m) | |
Monad m => Method m (MethodAttached m) |
data SimpleMethod m Source
Monad m => Method m (SimpleMethod m) |
newtype MethodCompiled m Source