Test.StateMachine.Z

union

intersect

isSubsetOf

(~=)

type Rel a b

type Fun a b

empty

identity

singleton

domain

codomain

compose

fcompose

inverse

lookupDom

lookupCod

(<|)

(|>)

(<-|)

(|->)

image

(<+)

(<**>)

(<||>)

isTotalRel

isSurjRel

isTotalSurjRel

isPartialFun

isTotalFun

isPartialInj

isTotalInj

isPartialSurj

isTotalSurj

isBijection

(!)

(.!)

(.=)