discokitty0.1.0: DisCoCat implementation.
Discokitty.Models.Rel
Description

data Rel u Source #
A relation hom(1,a) is given by a subset of the universe with elements in a. We model this using the Data.Set library.
Defined in Discokitty.Models.Rel
Methods
showsPrec :: Int > Rel u > ShowS #
show :: Rel u > String #
showList :: [Rel u] > ShowS #
dim :: Words (Rel u) > Int Source #
dim :: Rel u > Int Source #
cup :: Int > Rel u > Rel u > Rel u Source #
cunit :: Rel u Source #
relation :: Ord u => [[u]] > Rel u Source #
fromList :: Ord u => [[u]] > Rel u Source #
toList :: Rel u > [[u]] Source #
relCup :: Ord u => Int > Rel u > Rel u > Rel u Source #
agrees :: Eq u => Int > ([u], [u]) > Maybe [u] Source #