MO.Compile

Documentation

type MethodName = Atom

class Monad m => Method m a | a -> m where

Methods

methodName :: a -> MethodName

methodCompile :: a -> MethodCompiled m

Instances

Monad m => Method m (SimpleMethod m)

Monad m => Method m (AnyMethod m)

Monad m => Method m (MethodAttached m)

data SimpleMethod m

Constructors

MkSimpleMethod

Fields

sm_name :: MethodName

sm_definition :: MethodCompiled m

Instances

Monad m => Method m (SimpleMethod m)

data AnyMethod m

Constructors

forall a . Method m a => MkMethod !a

Instances

Monad m => Method m (AnyMethod m)

Eq (AnyMethod m)

Ord (AnyMethod m)

Show (AnyMethod m)

newtype MethodCompiled m

Constructors

MkMethodCompiled

Fields

runMC :: Arguments m -> m (Invocant m)