Data.Thorn.FoldExample

Documentation

data x :$ y

Constructors

Nil

(x, y) :* (x :$ y)

data (t0 :&$ t1) self

Constructors

UfNil

:&* (t0, t1) self

insth :: :&$ x y (:$ x y) -> :$ x y

outsth :: :$ t0 t1 -> :&$ t0 t1 (:$ t0 t1)

hylosth :: (t -> :&$ t0 t1 t) -> (:&$ t0 t1 self -> self) -> t -> self

foldsth :: (:&$ t0 t1 self -> self) -> :$ t0 t1 -> self

unfoldsth :: (t -> :&$ x y t) -> t -> :$ x y