Type Alias Cofree<F, A>

Co-free functor, the dual of Free. It is isomorphic to the linked list of A.

type Cofree<F, A> = {
current: Lazy.Lazy<A>;
rest: Lazy.Lazy<Get1<F, Cofree.Cofree<F, A>>>;
}

Type Parameters

F
A

Index

Properties

Properties

`Readonly`current

current: Lazy.Lazy<A>

A current heading item of the list.

`Readonly`rest

rest: Lazy.Lazy<Get1<F, Cofree.Cofree<F, A>>>

Rest items of the list.