Data.Codec.Field

First-class record construction

data Field r a x y

data Build r f x y

data Con r x

($>>)

(>>>)

done

data X

class Buildable r a

having

build