Safe Haskell | None |
---|
Documentation
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 |
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) |