Safe Haskell	Safe
Language	Haskell2010

Discokitty.Examples.LesJustesUniverse

Synopsis

data Universe
- = Universe
- | Yanek
- | Dora
- | Boris
- | Duke
- | Stepan
- | Nephew
- | Skouratov
- | Poet
- | Revolutionary
- | Terrorist
- | Saviour
- | Innocent
- | Tsarist
- | Alive
- | Life
- | Poetry
- | Chemistry
- | Propaganda
- | Bomb
- | IsTrue
- | IsFalse
- | IsRighteous
- | IsWrong
- | IsPlot
type UniverseN = [Universe]
universe :: [Universe]
dim :: Dim a => a -> Int

Documentation

data Universe Source #

Instances

Bounded Universe Source #
Instance details Defined in Discokitty.Examples.LesJustesUniverse Methods minBound :: Universe # maxBound :: Universe #
Enum Universe Source #
Instance details Defined in Discokitty.Examples.LesJustesUniverse Methods succ :: Universe -> Universe # pred :: Universe -> Universe # toEnum :: Int -> Universe # fromEnum :: Universe -> Int # enumFrom :: Universe -> [Universe] # enumFromThen :: Universe -> Universe -> [Universe] # enumFromTo :: Universe -> Universe -> [Universe] # enumFromThenTo :: Universe -> Universe -> Universe -> [Universe] #
Eq Universe Source #
Instance details Defined in Discokitty.Examples.LesJustesUniverse Methods (==) :: Universe -> Universe -> Bool # (/=) :: Universe -> Universe -> Bool #
Ord Universe Source #
Instance details Defined in Discokitty.Examples.LesJustesUniverse 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.LesJustesUniverse Methods showsPrec :: Int -> Universe -> ShowS # show :: Universe -> String # showList :: [Universe] -> ShowS #
Dim UniverseN Source #
Instance details Defined in Discokitty.Examples.LesJustesUniverse Methods dim :: UniverseN -> Int Source #

type UniverseN = [Universe] Source #

universe :: [Universe] Source #

dim :: Dim a => a -> Int Source #

In the meaning space, states can have a given number of output wires. This function takes an state and should output the number of output wires it has.

Universe
Yanek
Dora
Boris
Duke
Stepan
Nephew
Skouratov
Poet
Revolutionary
Terrorist
Saviour
Innocent
Tsarist
Alive
Life
Poetry
Chemistry
Propaganda
Bomb
IsTrue
IsFalse
IsRighteous
IsWrong
IsPlot