Data.Delta

Delta

Deterministic

Constructor

type (a :->: p1) p2

Functions

nextD

Not deterministic

Constructor

type (a :>-: p1) p2

Transductor

Constructor

type (a :*>: p) o