Module

Gejang

Package: purescript-gejang
Repository: justinwoo/purescript-gejang

#ExtractRow Source

class ExtractRow (record :: Type) (row :: Row Type) | record -> row

Instances

ExtractRow (Record row) row
ExtractRow (Variant row) row

Modules: Gejang