ADD.Games.Correct

Documentation

data Event

Constructors

Event Word8

Instances

Eq Event

Defined in ADD.Games.Correct

Methods

(==) :: Event -> Event -> Bool

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

Data Event

Defined in ADD.Games.Correct

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Event -> c Event

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Event

toConstr :: Event -> Constr

dataTypeOf :: Event -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Event)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Event)

gmapT :: (forall b. Data b => b -> b) -> Event -> Event

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Event -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Event -> r

gmapQ :: (forall d. Data d => d -> u) -> Event -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Event -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Event -> m Event

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Event -> m Event

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Event -> m Event

Ord Event

Defined in ADD.Games.Correct

Methods

compare :: Event -> Event -> Ordering

(<) :: Event -> Event -> Bool

(<=) :: Event -> Event -> Bool

(>) :: Event -> Event -> Bool

(>=) :: Event -> Event -> Bool

max :: Event -> Event -> Event

min :: Event -> Event -> Event

Show Event

Defined in ADD.Games.Correct

Methods

showsPrec :: Int -> Event -> ShowS

show :: Event -> String

showList :: [Event] -> ShowS

Generic Event

Defined in ADD.Games.Correct

Associated Types

type Rep Event :: Type -> Type

Methods

from :: Event -> Rep Event x

to :: Rep Event x -> Event

Arbitrary Event

Defined in ADD.Games.Correct

Methods

arbitrary :: Gen Event

shrink :: Event -> [Event]

Observe [Event] (Set Reward, Maybe Result) Game

Defined in ADD.Games.Correct

Methods

observe :: [Event] -> Game -> (Set Reward, Maybe Result)

type Rep Event

Defined in ADD.Games.Correct

type Rep Event = D1 ('MetaData "Event" "ADD.Games.Correct" "algebra-driven-design-0.1.0.1-Yk9mMOYOK2LEHtxEveIkr" 'False) (C1 ('MetaCons "Event" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)))

data EventFilter

Constructors

Always

Never

Exactly Word8

Instances

Eq EventFilter

Defined in ADD.Games.Correct

Methods

(==) :: EventFilter -> EventFilter -> Bool

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

Data EventFilter

Defined in ADD.Games.Correct

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EventFilter -> c EventFilter

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EventFilter

toConstr :: EventFilter -> Constr

dataTypeOf :: EventFilter -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c EventFilter)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EventFilter)

gmapT :: (forall b. Data b => b -> b) -> EventFilter -> EventFilter

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EventFilter -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EventFilter -> r

gmapQ :: (forall d. Data d => d -> u) -> EventFilter -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> EventFilter -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> EventFilter -> m EventFilter

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EventFilter -> m EventFilter

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EventFilter -> m EventFilter

Ord EventFilter

Defined in ADD.Games.Correct

Methods

compare :: EventFilter -> EventFilter -> Ordering

(<) :: EventFilter -> EventFilter -> Bool

(<=) :: EventFilter -> EventFilter -> Bool

(>) :: EventFilter -> EventFilter -> Bool

(>=) :: EventFilter -> EventFilter -> Bool

max :: EventFilter -> EventFilter -> EventFilter

min :: EventFilter -> EventFilter -> EventFilter

Show EventFilter

Defined in ADD.Games.Correct

Methods

showsPrec :: Int -> EventFilter -> ShowS

show :: EventFilter -> String

showList :: [EventFilter] -> ShowS

Generic EventFilter

Defined in ADD.Games.Correct

Associated Types

type Rep EventFilter :: Type -> Type

Methods

from :: EventFilter -> Rep EventFilter x

to :: Rep EventFilter x -> EventFilter

Arbitrary EventFilter

Defined in ADD.Games.Correct

Methods

arbitrary :: Gen EventFilter

shrink :: EventFilter -> [EventFilter]

type Rep EventFilter

Defined in ADD.Games.Correct

type Rep EventFilter = D1 ('MetaData "EventFilter" "ADD.Games.Correct" "algebra-driven-design-0.1.0.1-Yk9mMOYOK2LEHtxEveIkr" 'False) (C1 ('MetaCons "Always" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Never" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Exactly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8))))

always :: EventFilter

never :: EventFilter

sig_filters :: Sig

data Reward

Constructors

Reward Word8

Instances

Eq Reward

Defined in ADD.Games.Correct

Methods

(==) :: Reward -> Reward -> Bool

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

Data Reward

Defined in ADD.Games.Correct

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Reward -> c Reward

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Reward

toConstr :: Reward -> Constr

dataTypeOf :: Reward -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Reward)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Reward)

gmapT :: (forall b. Data b => b -> b) -> Reward -> Reward

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Reward -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Reward -> r

gmapQ :: (forall d. Data d => d -> u) -> Reward -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Reward -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Reward -> m Reward

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Reward -> m Reward

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Reward -> m Reward

Ord Reward

Defined in ADD.Games.Correct

Methods

compare :: Reward -> Reward -> Ordering

(<) :: Reward -> Reward -> Bool

(<=) :: Reward -> Reward -> Bool

(>) :: Reward -> Reward -> Bool

(>=) :: Reward -> Reward -> Bool

max :: Reward -> Reward -> Reward

min :: Reward -> Reward -> Reward

Show Reward

Defined in ADD.Games.Correct

Methods

showsPrec :: Int -> Reward -> ShowS

show :: Reward -> String

showList :: [Reward] -> ShowS

Generic Reward

Defined in ADD.Games.Correct

Associated Types

type Rep Reward :: Type -> Type

Methods

from :: Reward -> Rep Reward x

to :: Rep Reward x -> Reward

Arbitrary Reward

Defined in ADD.Games.Correct

Methods

arbitrary :: Gen Reward

shrink :: Reward -> [Reward]

Observe [Event] (Set Reward, Maybe Result) Game

Defined in ADD.Games.Correct

Methods

observe :: [Event] -> Game -> (Set Reward, Maybe Result)

type Rep Reward

Defined in ADD.Games.Correct

type Rep Reward = D1 ('MetaData "Reward" "ADD.Games.Correct" "algebra-driven-design-0.1.0.1-Yk9mMOYOK2LEHtxEveIkr" 'False) (C1 ('MetaCons "Reward" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)))

data Result

Constructors

Victory

Defeat

Instances

Eq Result

Defined in ADD.Games.Correct

Methods

(==) :: Result -> Result -> Bool

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

Data Result

Defined in ADD.Games.Correct

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Result -> c Result

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Result

toConstr :: Result -> Constr

dataTypeOf :: Result -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Result)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Result)

gmapT :: (forall b. Data b => b -> b) -> Result -> Result

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Result -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Result -> r

gmapQ :: (forall d. Data d => d -> u) -> Result -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Result -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Result -> m Result

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Result -> m Result

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Result -> m Result

Ord Result

Defined in ADD.Games.Correct

Methods

compare :: Result -> Result -> Ordering

(<) :: Result -> Result -> Bool

(<=) :: Result -> Result -> Bool

(>) :: Result -> Result -> Bool

(>=) :: Result -> Result -> Bool

max :: Result -> Result -> Result

min :: Result -> Result -> Result

Show Result

Defined in ADD.Games.Correct

Methods

showsPrec :: Int -> Result -> ShowS

show :: Result -> String

showList :: [Result] -> ShowS

Generic Result

Defined in ADD.Games.Correct

Associated Types

type Rep Result :: Type -> Type

Methods

from :: Result -> Rep Result x

to :: Rep Result x -> Result

Arbitrary Result

Defined in ADD.Games.Correct

Methods

arbitrary :: Gen Result

shrink :: Result -> [Result]

Observe [Event] (Set Reward, Maybe Result) Game

Defined in ADD.Games.Correct

Methods

observe :: [Event] -> Game -> (Set Reward, Maybe Result)

type Rep Result

Defined in ADD.Games.Correct

type Rep Result = D1 ('MetaData "Result" "ADD.Games.Correct" "algebra-driven-design-0.1.0.1-Yk9mMOYOK2LEHtxEveIkr" 'False) (C1 ('MetaCons "Victory" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Defeat" 'PrefixI 'False) (U1 :: Type -> Type))

victory :: Result

defeat :: Result

sig_results :: Sig

data Game

Constructors

Win

Lose

RewardThen Reward Game

Subgame Game Game Game

EitherW Game Game

Both Game Game

Race Game Game

Multigate [(EventFilter, Game)]

Instances

Eq Game

Defined in ADD.Games.Correct

Methods

(==) :: Game -> Game -> Bool

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

Data Game

Defined in ADD.Games.Correct

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Game -> c Game

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Game

toConstr :: Game -> Constr

dataTypeOf :: Game -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Game)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Game)

gmapT :: (forall b. Data b => b -> b) -> Game -> Game

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Game -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Game -> r

gmapQ :: (forall d. Data d => d -> u) -> Game -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Game -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Game -> m Game

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Game -> m Game

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Game -> m Game

Ord Game

Defined in ADD.Games.Correct

Methods

compare :: Game -> Game -> Ordering

(<) :: Game -> Game -> Bool

(<=) :: Game -> Game -> Bool

(>) :: Game -> Game -> Bool

(>=) :: Game -> Game -> Bool

max :: Game -> Game -> Game

min :: Game -> Game -> Game

Show Game

Defined in ADD.Games.Correct

Methods

showsPrec :: Int -> Game -> ShowS

show :: Game -> String

showList :: [Game] -> ShowS

Generic Game

Defined in ADD.Games.Correct

Associated Types

type Rep Game :: Type -> Type

Methods

from :: Game -> Rep Game x

to :: Rep Game x -> Game

Arbitrary Game

Defined in ADD.Games.Correct

Methods

arbitrary :: Gen Game

shrink :: Game -> [Game]

Observe [Event] (Set Reward, Maybe Result) Game

Defined in ADD.Games.Correct

Methods

observe :: [Event] -> Game -> (Set Reward, Maybe Result)

type Rep Game

Defined in ADD.Games.Correct

type Rep Game = D1 ('MetaData "Game" "ADD.Games.Correct" "algebra-driven-design-0.1.0.1-Yk9mMOYOK2LEHtxEveIkr" 'False) (((C1 ('MetaCons "Win" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Lose" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "RewardThen" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Reward) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Game)) :+: C1 ('MetaCons "Subgame" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Game) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Game) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Game))))) :+: ((C1 ('MetaCons "EitherW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Game) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Game)) :+: C1 ('MetaCons "Both" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Game) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Game))) :+: (C1 ('MetaCons "Race" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Game) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Game)) :+: C1 ('MetaCons "Multigate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(EventFilter, Game)])))))

decayArbitrary :: Arbitrary a => Int -> Gen a

reward :: Reward -> Game

rewardThen :: Reward -> Game -> Game

win :: Game

lose :: Game

andThen :: Game -> Game -> Game

subgame :: Game -> Game -> Game -> Game

eitherG :: Game -> Game -> Game

both :: Game -> Game -> Game

race :: Game -> Game -> Game

multigate :: [(EventFilter, Game)] -> Game

sig_games_core :: Sig

comeback :: Game -> Game

bottom :: Game

gate :: EventFilter -> Game -> Game

sig_games_ext :: Sig

bingo :: [[Game]] -> Reward -> Game

bingo_game :: Game

foo :: Property

runGame :: [Event] -> Game -> (Set Reward, Maybe Result)

_toResult :: Game -> Maybe Result

_runGame :: Game -> [Event] -> Writer (Set Reward) Game

_stepGame :: Game -> Maybe Event -> Writer (Set Reward) Game

matches :: EventFilter -> Event -> Bool

sig_types :: Sig

sig_options :: Sig

quickspec_laws' :: [(String, Property)]