discokitty-0.1.0: DisCoCat implementation.

Safe HaskellNone
LanguageHaskell2010

Discokitty.Examples.LesJustesVector

Contents

Documentation

yanek' :: Words (Vectorspace Universe Double) Source #

dora' :: Words (Vectorspace Universe Double) Source #

likes' :: Words (Vectorspace Universe Double) Source #

combat' :: Words (Vectorspace Universe Double) Source #

is' :: Words (Vectorspace Universe Double) Source #

people' :: Semiring m => Words (Vectorspace Universe m) Source #

yanek :: Multiword (Vectorspace Universe Double) Source #

dora :: Multiword (Vectorspace Universe Double) Source #

likes :: Multiword (Vectorspace Universe Double) Source #

enjoy :: Multiword (Vectorspace Universe Double) Source #

is :: Multiword (Vectorspace Universe Double) Source #

people :: Multiword (Vectorspace Universe Double) Source #

combat :: Multiword (Vectorspace Universe Double) Source #

who :: Semiring m => Multiword (Vectorspace Universe m) Source #

basis :: Semiring m => Universe -> Multiword (Vectorspace Universe m) Source #

tsarist :: Semiring m => Multiword (Vectorspace Universe m) Source #

life :: Semiring m => Multiword (Vectorspace Universe m) Source #

propaganda :: Semiring m => Multiword (Vectorspace Universe m) Source #

poetry :: Semiring m => Multiword (Vectorspace Universe m) Source #

innocent :: Semiring m => Multiword (Vectorspace Universe m) Source #

terrorist :: Semiring m => Multiword (Vectorspace Universe m) Source #

revolutionary :: Semiring m => Multiword (Vectorspace Universe m) Source #

tsarists :: Multiword (Vectorspace Universe Double) Source #

revolutionaries :: Multiword (Vectorspace Universe Double) Source #

that :: Multiword (Vectorspace Universe Double) Source #

are :: Multiword (Vectorspace Universe Double) Source #

newtype Tropical Source #

Constructors

Tropical Double 
Instances
Eq Tropical Source # 
Instance details

Defined in Discokitty.Examples.LesJustesVector

Methods

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

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

Num Tropical Source # 
Instance details

Defined in Discokitty.Examples.LesJustesVector

Methods

(+) :: Tropical -> Tropical -> Tropical #

(-) :: Tropical -> Tropical -> Tropical #

(*) :: Tropical -> Tropical -> Tropical #

negate :: Tropical -> Tropical #

abs :: Tropical -> Tropical #

signum :: Tropical -> Tropical #

fromInteger :: Integer -> Tropical #

Ord Tropical Source # 
Instance details

Defined in Discokitty.Examples.LesJustesVector

Methods

compare :: Tropical -> Tropical -> Ordering #

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

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

(>) :: Tropical -> Tropical -> Bool #

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

max :: Tropical -> Tropical -> Tropical #

min :: Tropical -> Tropical -> Tropical #

Show Tropical Source # 
Instance details

Defined in Discokitty.Examples.LesJustesVector

Methods

showsPrec :: Int -> Tropical -> ShowS #

show :: Tropical -> String #

showList :: [Tropical] -> ShowS #

Semiring Tropical Source # 
Instance details

Defined in Discokitty.Examples.LesJustesVector

Methods

plus :: Tropical -> Tropical -> Tropical Source #

mult :: Tropical -> Tropical -> Tropical Source #

zero :: Tropical Source #

unit :: Tropical Source #

Orphan instances