MetaObject-0.0.6.20110925: A meta-object system for Haskell based on Perl 6

Safe HaskellNone

MO.Compile.Class

Documentation

class (Typeable1 m, Monad m, Typeable c, Eq c) => Class m c | c -> m where

Instances

(Typeable1 m, Monad m) => Class m (MOClass m) 
(Typeable1 m, Monad m) => Class m (AnyClass m) 

data AnyClass m

Constructors

forall c . Class m c => MkClass !c 

Instances

(Typeable1 m, Monad m) => Class m (AnyClass m) 
(Typeable1 m, Monad m) => Eq (AnyClass m) 
(Typeable1 m, Monad m) => Show (AnyClass m) 
(Typeable1 m, Monad m) => Typeable (AnyClass m) 

data (Monad m, Typeable1 m) => MOClass m

Instances

(Typeable1 m, Monad m) => Class m (MOClass m) 
(Typeable1 m, Monad m) => Eq (MOClass m) 
(Typeable1 m, Monad m) => Ord (MOClass m) 
(Typeable1 m, Monad m) => Show (MOClass m) 
(Typeable1 m, Monad m) => Typeable (MOClass m) 

blessMOClass :: Class m c => c -> AnyMethod m

data MethodAttached m

Constructors

forall c a . (Class m c, Method m a) => MkMethodAttached !c !a 

Instances