Discokitty.Examples.LesJustesUniverse

Documentation

data Universe

Constructors

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

Instances

Bounded Universe

Defined in Discokitty.Examples.LesJustesUniverse

Methods

minBound :: Universe

maxBound :: Universe

Enum Universe

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

Defined in Discokitty.Examples.LesJustesUniverse

Methods

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

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

Ord Universe

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

Defined in Discokitty.Examples.LesJustesUniverse

Methods

showsPrec :: Int -> Universe -> ShowS

show :: Universe -> String

showList :: [Universe] -> ShowS

Dim UniverseN

Defined in Discokitty.Examples.LesJustesUniverse

Methods

dim :: UniverseN -> Int

type UniverseN = [Universe]

universe :: [Universe]

dim :: Dim a => a -> Int

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.