thrist-0.1.1: Type-threaded list

Data.Thrist

Documentation

data Thrist whereSource

Constructors

Nil :: Thrist ~> a a 
Cons :: (a ~> b) -> Thrist ~> b c -> Thrist ~> a c 

Instances

Arrow (Thrist (->)) 
Category (Thrist ~>) 
Monoid (Thrist ~> a a) 

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

appendThrist :: forall (~>) a b c. Thrist ~> a b -> Thrist ~> b c -> Thrist ~> a cSource

mapThrist :: (forall i j. (i +> j) -> i ~> j) -> Thrist +> a b -> Thrist ~> a bSource