MetaObject-0.0.1: A meta-object system for Haskell based on Perl 6ContentsIndex
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
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:]
show/hide 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
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).
show/hide 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
Produced by Haddock version 2.1.0