lux/control/codec

Types

Codec

A way to move back-and-forth between a type and an alternative representation for it.

(sig: (Codec m a)
  (: (-> a m)
     encode)
   (: (-> m (lux/data/error;Error a))
     decode))

Structs

(compC Codec<c,b> Codec<b,a>)

Codec composition.

(All [a b c] (-> (Codec c b) (Codec b a) (Codec c a)))