Module

Row.Class

#SubRow 

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

Instances

#IntersectRow 

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