Data.Thrist

Documentation

data Thrist where

Constructors

Nil :: Thrist p a a

Cons :: p a b -> Thrist p b c -> Thrist p a c

Instances

Monoid (Thrist p a a)

foldThrist :: (forall i j k. p i j -> p j k -> p i k) -> p c c -> Thrist p a c -> p a c

appendThrist :: forall p a b c. Thrist p a b -> Thrist p b c -> Thrist p a c