Data.Thrist

Documentation

data Thrist where

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 ~> c

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

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