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) |