Data.Pass.Calc

Documentation

data Calc k a b where

Constructors

Stop :: b -> Calc k a b

:& :: Pass k a b -> (b -> Calc k a c) -> Calc k a c

Rank :: Ord b => Thrist k a b -> ([Int] -> Calc k a c) -> Calc k a c

Instances

Trans Calc

Prep Calc

Calculation Calc

Step Calc

By (Calc k)

Call k => Naive (Calc k)

Call k => Eval (Calc k)

Robust (Calc k)

Accelerant k => Accelerated (Calc k)

Monad (Calc k a)

Functor (Calc k a)

Functor (Calc k a) => Applicative (Calc k a)

(Fractional (Calc k a b), Floating b) => Floating (Calc k a b)

(Num (Calc k a b), Fractional b) => Fractional (Calc k a b)

Num b => Num (Calc k a b)