Data.PolyMap.Relation

Relation Type

data family Relation as

Query

sideAt

sideOf

Construction

class ToRelation a as