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