Documentation
type AttributeName = AtomSource
data Monad m => Attribute m Source
MkAttribute | |
|
mkAttributeMandatory :: Monad m => AttributeName -> Attribute mSource
mkPrivateAttributeMandatory :: Monad m => AttributeName -> Attribute mSource
mkAttributeStub :: (Typeable1 m, Monad m) => AttributeName -> Attribute mSource
mkPrivateAttributeStub :: (Typeable1 m, Monad m) => AttributeName -> Attribute mSource
mkAttribute :: Monad m => AttributeName -> Invocant m -> Attribute mSource
mkPrivateAttribute :: Monad m => AttributeName -> Invocant m -> Attribute mSource