MO.Capture

Documentation

data Capt a

a Capture is a frozen version of the arguments to an application.

Constructors

CaptMeth

Fields

c_invocant :: a

c_feeds :: [:Feed a:]

CaptSub

Fields

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

non-invocant arguments.

Constructors

MkFeed

Fields

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

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