Safe Haskell | None |
---|---|
Language | Haskell2010 |
Provides operators for composing masked consumers
- data MaskedConsumer r = MasCon [PredMaskCond r] [PostMaskHandler r]
- data PostMaskHandler r = forall po pr pt . (PostMask po r pr, Tuplify pr pt) => PMHandler po (pt -> Handler)
- data PredMaskCond r = forall p . PredMask p r => PMCond p
- (&->) :: (PostMask po r pr, Tuplify pr pt) => po -> (pt -> Handler) -> MaskedConsumer r
- (-&?->) :: (CombiMask cm r pm pom, PredMask pm r, PostMask pom r por, Tuplify por pot) => cm -> (pot -> Handler) -> r -> MaskedConsumer r
- (&?->) :: (CombiMask cm r pm pom, PredMask pm r, PostMask pom r por, Tuplify por pot) => cm -> (pot -> Handler) -> MaskedConsumer r
- (+?) :: PredMask p r => MaskedConsumer r -> p -> MaskedConsumer r
- (+&) :: MaskedConsumer r -> MaskedConsumer r -> MaskedConsumer r
Documentation
data MaskedConsumer r Source
A special consumer whose conditions and actions rely on evaluation result masks
MasCon [PredMaskCond r] [PostMaskHandler r] |
Monoid (MaskedConsumer r) Source | |
None (MaskedConsumer r) Source |
data PostMaskHandler r Source
A special handler that relies on an evaluation result post-processing mask
data PredMaskCond r Source
A special condition that relies on an evaluation result predicate mask
(&->) :: (PostMask po r pr, Tuplify pr pt) => po -> (pt -> Handler) -> MaskedConsumer r infix 8 Source
Composes a masked consumer from an evaluation result post-processing mask and a handler that relies on its result
(-&?->) :: (CombiMask cm r pm pom, PredMask pm r, PostMask pom r por, Tuplify por pot) => cm -> (pot -> Handler) -> r -> MaskedConsumer r infix 8 Source
Composes a masked consumer from an evaluation result combi mask and a handler that relies on its possible result. Takes a third parameter for the correct type. In most cases you'll want &?->
instead.
(&?->) :: (CombiMask cm r pm pom, PredMask pm r, PostMask pom r por, Tuplify por pot) => cm -> (pot -> Handler) -> MaskedConsumer r infix 8 Source
Composes a masked consumer from an evaluation result combi mask and a handler that relies on its possible result.
(+?) :: PredMask p r => MaskedConsumer r -> p -> MaskedConsumer r infixl 7 Source
Adds an evaluation result predicate mask to a masked consumer.
(+&) :: MaskedConsumer r -> MaskedConsumer r -> MaskedConsumer r infixl 7 Source
Concatenates two masked consumers.