multipass-0.1.0.2: Folding data with multiple named passes

Safe HaskellNone

Data.Pass.Type

Documentation

data Pass k a b whereSource

Constructors

Pass :: (Typeable m, Binary m, Monoid m) => (m -> o) -> Thrist k i m -> Pass k i o 
L :: (n -> o) -> L n n -> Thrist k i n -> Pass k i o 
Ap :: (b -> c) -> Pass k i (a -> b) -> Pass k i a -> Pass k i c 
Pure :: a -> Pass k i a 

Instances

Trans Pass 
Prep Pass 
Passable Pass 
Calculation Pass 
Step Pass 
Typeable2 k => Typeable2 (Pass k) 
By (Pass k) 
Call k => Naive (Pass k) 
Call k => Eval (Pass k) 
Robust (Pass k) 
Accelerant k => Accelerated (Pass k) 
Functor (Pass k a) 
Functor (Pass k a) => Applicative (Pass k a) 
(Fractional (Pass k a b), Floating b) => Floating (Pass k a b) 
(Num (Pass k a b), Fractional b) => Fractional (Pass k a b) 
Num b => Num (Pass k a b) 

env :: Call k => Pass k a b -> Env k aSource