module BadGames where
import Data.Maybe
import Iso
import Games
import BasicGames
voidGame :: Game t
voidGame = Split (splitIso (const True)) voidGame voidGame
badBoolGame :: Game Bool
badBoolGame = Split (splitIso id)
(Split (splitIso id) (constGame True) voidGame)
(Split (splitIso id) voidGame (constGame False))
badNatGame :: Game Nat
badNatGame = Split parityIso badNatGame badNatGame
badBoolGame3 :: Game Bool
badBoolGame3 = Split boolIso
(Split (Iso (const (Left ())) (const ())) unitGame unitGame)
(Split (Iso (const (Right())) (const ())) unitGame unitGame)