| Safe Haskell | None |
|---|
Data.Pass.Type
Documentation
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) |