MetaObject-0.0.4: A meta-object system for Haskell based on Perl 6 Source code Contents Index

MO.Capture

Synopsis

data Capt a = CaptMeth { c_invocant :: a c_feeds :: [:Feed a:] } | CaptSub { c_feeds :: [:Feed a:] } data Feed a = MkFeed { f_positionals :: [:a:] f_nameds :: AtomMap [:a:] } emptyFeed :: Feed a concatFeeds :: [:Feed a:] -> Feed a

Documentation

data Capt a Source

a Capture is a frozen version of the arguments to an application. Constructors CaptMeth c_invocant :: a c_feeds :: [:Feed a:] CaptSub c_feeds :: [:Feed a:] Instances Typeable1 Capt Eq a => Eq (Capt a) Ord a => Ord (Capt a) Show a => Show (Capt a)

data Feed a Source

non-invocant arguments. Constructors MkFeed f_positionals :: [:a:] f_nameds :: AtomMap [:a:] maps to [:a:] and not a since if the Sig stipulates x, x => 1, x => 2 constructs x = (1, 2). Instances Typeable1 Feed Eq a => Eq (Feed a) Ord a => Ord (Feed a) Show a => Show (Feed a) Monoid (Feed a)

emptyFeed :: Feed a Source

concatFeeds :: [:Feed a:] -> Feed a Source

Produced by Haddock version 2.3.0