Discokitty.Models.Rel

|

Documentation

data Rel u

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.

Instances

Show u => Show (Rel u)

Defined in Discokitty.Models.Rel

Methods

showsPrec :: Int -> Rel u -> ShowS

show :: Rel u -> String

showList :: [Rel u] -> ShowS

Dim (Words (Rel u))

Defined in Discokitty.Models.Rel

Methods

dim :: Words (Rel u) -> Int

Dim (Rel u)

Defined in Discokitty.Models.Rel

Methods

dim :: Rel u -> Int

Ord u => HasCups (Rel u)

Defined in Discokitty.Models.Rel

Methods

cup :: Int -> Rel u -> Rel u -> Rel u

cunit :: Rel u

relation :: Ord u => [[u]] -> Rel u

fromList :: Ord u => [[u]] -> Rel u

toList :: Rel u -> [[u]]

relCup :: Ord u => Int -> Rel u -> Rel u -> Rel u

agrees :: Eq u => Int -> ([u], [u]) -> Maybe [u]