Data.Pass.Thrist

Documentation

data Thrist k a b where

Constructors

Nil :: Thrist k a a

:- :: k b c -> Thrist k a b -> Thrist k a c

Instances

Trans Thrist

Prep Thrist

Passable Thrist

Calculation Thrist

Typeable2 k => Typeable2 (Thrist k)

Category (Thrist k)

By k => By (Thrist k)

(Typeable2 (Thrist k), Named k) => Named (Thrist k)

(Named (Thrist k), Call k) => Call (Thrist k)

Accelerated k => Accelerated (Thrist k)

Named k => Eq (Thrist k a b)

Named k => Show (Thrist k a b)

Named k => Hashable (Thrist k a b)

thrist :: k a b -> Thrist k a b

fromThrist :: forall k a b c. Call k => (forall d e. k d e -> c) -> Thrist k a b -> [c]