Module

Row.Class

Package: purescript-row-extra
Repository: athanclark/purescript-row-extra

#SubRow Source

class SubRow (child :: Row Type) (parent :: Row Type)

Instances

(Union child any parent) => SubRow child parent

#IntersectRow Source

class IntersectRow (leftRow :: Row Type) (rightRow :: Row Type) (intersection :: Row Type) (leftRowRemainder :: Row Type) (rightRowRemainder :: Row Type)

Instances

(Union leftRowRemainder intersection leftRow, Union rightRowRemainder intersection rightRow) => IntersectRow leftRow rightRow intersection leftRowRemainder rightRowRemainder

Modules: Row.Class