discokitty-0.1.0: DisCoCat implementation.

Safe HaskellSafe
LanguageHaskell2010

Discokitty.Examples.AliceAndBob

Documentation

data Universe Source #

Constructors

Alice 
Bob 
IsTrue 
IsFalse 
Instances
Eq Universe Source # 
Instance details

Defined in Discokitty.Examples.AliceAndBob

Methods

(==) :: Universe -> Universe -> Bool #

(/=) :: Universe -> Universe -> Bool #

Ord Universe Source # 
Instance details

Defined in Discokitty.Examples.AliceAndBob

Methods

compare :: Universe -> Universe -> Ordering #

(<) :: Universe -> Universe -> Bool #

(<=) :: Universe -> Universe -> Bool #

(>) :: Universe -> Universe -> Bool #

(>=) :: Universe -> Universe -> Bool #

max :: Universe -> Universe -> Universe #

min :: Universe -> Universe -> Universe #

Show Universe Source # 
Instance details

Defined in Discokitty.Examples.AliceAndBob

Methods

showsPrec :: Int -> Universe -> ShowS #

show :: Universe -> String #

showList :: [Universe] -> ShowS #

type Term = Words (Rel Universe) Source #

alice :: Term Source #

bob :: Term Source #

loves :: Term Source #

example :: [Term] Source #

exampleDiagram :: String Source #