thrist-0.1: Type-threaded list

Data.Thrist

data Thrist whereSource

Constructors

Instances

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

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