Copyright	(c) Levent Erkok
License	BSD3
Maintainer	erkokl@gmail.com
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Documentation.SBV.Examples.Puzzles.Orangutans

Description

Based on http://github.com/goldfirere/video-resources/blob/main/2022-08-12-java/Haskell.hs

Synopsis

data Orangutan
- = Merah
- | Ofallo
- | Quirrel
- | Shamir
data Handler
- = Dolly
- | Eva
- | Francine
- | Gracie
data Location
- = Ambalat
- | Basahan
- | Kendisi
- | Tarakan
type SOrangutan = SBV Orangutan
sMerah :: SBV Orangutan
sOfallo :: SBV Orangutan
sQuirrel :: SBV Orangutan
sShamir :: SBV Orangutan
type SHandler = SBV Handler
sDolly :: SBV Handler
sEva :: SBV Handler
sFrancine :: SBV Handler
sGracie :: SBV Handler
type SLocation = SBV Location
sAmbalat :: SBV Location
sBasahan :: SBV Location
sKendisi :: SBV Location
sTarakan :: SBV Location
data Assignment = MkAssignment {
- orangutan :: SOrangutan
- handler :: SHandler
- location :: SLocation
- age :: SInteger
}
mkSym :: Orangutan -> Symbolic Assignment
puzzle :: ConstraintSet

Documentation

>>> -- For doctest purposes only:
>>> import Data.SBV

data Orangutan Source #

Orangutans in the puzzle.

Constructors

Merah
Ofallo
Quirrel
Shamir

Instances

Instances details

Data Orangutan Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Orangutan -> c Orangutan # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Orangutan # toConstr :: Orangutan -> Constr # dataTypeOf :: Orangutan -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Orangutan) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Orangutan) # gmapT :: (forall b. Data b => b -> b) -> Orangutan -> Orangutan # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Orangutan -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Orangutan -> r # gmapQ :: (forall d. Data d => d -> u) -> Orangutan -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Orangutan -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Orangutan -> m Orangutan # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Orangutan -> m Orangutan # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Orangutan -> m Orangutan #
Bounded Orangutan Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods minBound :: Orangutan # maxBound :: Orangutan #
Enum Orangutan Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods succ :: Orangutan -> Orangutan # pred :: Orangutan -> Orangutan # toEnum :: Int -> Orangutan # fromEnum :: Orangutan -> Int # enumFrom :: Orangutan -> [Orangutan] # enumFromThen :: Orangutan -> Orangutan -> [Orangutan] # enumFromTo :: Orangutan -> Orangutan -> [Orangutan] # enumFromThenTo :: Orangutan -> Orangutan -> Orangutan -> [Orangutan] #
Read Orangutan Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods readsPrec :: Int -> ReadS Orangutan # readList :: ReadS [Orangutan] # readPrec :: ReadPrec Orangutan # readListPrec :: ReadPrec [Orangutan] #
Show Orangutan Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods showsPrec :: Int -> Orangutan -> ShowS # show :: Orangutan -> String # showList :: [Orangutan] -> ShowS #
Eq Orangutan Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods (==) :: Orangutan -> Orangutan -> Bool # (/=) :: Orangutan -> Orangutan -> Bool #
Ord Orangutan Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods compare :: Orangutan -> Orangutan -> Ordering # (<) :: Orangutan -> Orangutan -> Bool # (<=) :: Orangutan -> Orangutan -> Bool # (>) :: Orangutan -> Orangutan -> Bool # (>=) :: Orangutan -> Orangutan -> Bool # max :: Orangutan -> Orangutan -> Orangutan # min :: Orangutan -> Orangutan -> Orangutan #
SymVal Orangutan Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods mkSymVal :: MonadSymbolic m => VarContext -> Maybe String -> m (SBV Orangutan) Source # literal :: Orangutan -> SBV Orangutan Source # fromCV :: CV -> Orangutan Source # isConcretely :: SBV Orangutan -> (Orangutan -> Bool) -> Bool Source # free :: MonadSymbolic m => String -> m (SBV Orangutan) Source # free_ :: MonadSymbolic m => m (SBV Orangutan) Source # mkFreeVars :: MonadSymbolic m => Int -> m [SBV Orangutan] Source # symbolic :: MonadSymbolic m => String -> m (SBV Orangutan) Source # symbolics :: MonadSymbolic m => [String] -> m [SBV Orangutan] Source # unliteral :: SBV Orangutan -> Maybe Orangutan Source # isConcrete :: SBV Orangutan -> Bool Source # isSymbolic :: SBV Orangutan -> Bool Source #
HasKind Orangutan Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods kindOf :: Orangutan -> Kind Source # hasSign :: Orangutan -> Bool Source # intSizeOf :: Orangutan -> Int Source # isBoolean :: Orangutan -> Bool Source # isBounded :: Orangutan -> Bool Source # isReal :: Orangutan -> Bool Source # isFloat :: Orangutan -> Bool Source # isDouble :: Orangutan -> Bool Source # isRational :: Orangutan -> Bool Source # isFP :: Orangutan -> Bool Source # isUnbounded :: Orangutan -> Bool Source # isUserSort :: Orangutan -> Bool Source # isChar :: Orangutan -> Bool Source # isString :: Orangutan -> Bool Source # isList :: Orangutan -> Bool Source # isSet :: Orangutan -> Bool Source # isTuple :: Orangutan -> Bool Source # isMaybe :: Orangutan -> Bool Source # isEither :: Orangutan -> Bool Source # showType :: Orangutan -> String Source #
SatModel Orangutan Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods parseCVs :: [CV] -> Maybe (Orangutan, [CV]) Source # cvtModel :: (Orangutan -> Maybe b) -> Maybe (Orangutan, [CV]) -> Maybe (b, [CV]) Source #

data Handler Source #

Handlers for each orangutan.

Constructors

Dolly
Eva
Francine
Gracie

Instances

Instances details

Data Handler Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Handler -> c Handler # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Handler # toConstr :: Handler -> Constr # dataTypeOf :: Handler -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Handler) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Handler) # gmapT :: (forall b. Data b => b -> b) -> Handler -> Handler # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Handler -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Handler -> r # gmapQ :: (forall d. Data d => d -> u) -> Handler -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Handler -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Handler -> m Handler # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Handler -> m Handler # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Handler -> m Handler #
Read Handler Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods readsPrec :: Int -> ReadS Handler # readList :: ReadS [Handler] # readPrec :: ReadPrec Handler # readListPrec :: ReadPrec [Handler] #
Show Handler Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods showsPrec :: Int -> Handler -> ShowS # show :: Handler -> String # showList :: [Handler] -> ShowS #
Eq Handler Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods (==) :: Handler -> Handler -> Bool # (/=) :: Handler -> Handler -> Bool #
Ord Handler Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods compare :: Handler -> Handler -> Ordering # (<) :: Handler -> Handler -> Bool # (<=) :: Handler -> Handler -> Bool # (>) :: Handler -> Handler -> Bool # (>=) :: Handler -> Handler -> Bool # max :: Handler -> Handler -> Handler # min :: Handler -> Handler -> Handler #
SymVal Handler Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods mkSymVal :: MonadSymbolic m => VarContext -> Maybe String -> m (SBV Handler) Source # literal :: Handler -> SBV Handler Source # fromCV :: CV -> Handler Source # isConcretely :: SBV Handler -> (Handler -> Bool) -> Bool Source # free :: MonadSymbolic m => String -> m (SBV Handler) Source # free_ :: MonadSymbolic m => m (SBV Handler) Source # mkFreeVars :: MonadSymbolic m => Int -> m [SBV Handler] Source # symbolic :: MonadSymbolic m => String -> m (SBV Handler) Source # symbolics :: MonadSymbolic m => [String] -> m [SBV Handler] Source # unliteral :: SBV Handler -> Maybe Handler Source # isConcrete :: SBV Handler -> Bool Source # isSymbolic :: SBV Handler -> Bool Source #
HasKind Handler Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods kindOf :: Handler -> Kind Source # hasSign :: Handler -> Bool Source # intSizeOf :: Handler -> Int Source # isBoolean :: Handler -> Bool Source # isBounded :: Handler -> Bool Source # isReal :: Handler -> Bool Source # isFloat :: Handler -> Bool Source # isDouble :: Handler -> Bool Source # isRational :: Handler -> Bool Source # isFP :: Handler -> Bool Source # isUnbounded :: Handler -> Bool Source # isUserSort :: Handler -> Bool Source # isChar :: Handler -> Bool Source # isString :: Handler -> Bool Source # isList :: Handler -> Bool Source # isSet :: Handler -> Bool Source # isTuple :: Handler -> Bool Source # isMaybe :: Handler -> Bool Source # isEither :: Handler -> Bool Source # showType :: Handler -> String Source #
SatModel Handler Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods parseCVs :: [CV] -> Maybe (Handler, [CV]) Source # cvtModel :: (Handler -> Maybe b) -> Maybe (Handler, [CV]) -> Maybe (b, [CV]) Source #

data Location Source #

Location for each orangutan.

Constructors

Ambalat
Basahan
Kendisi
Tarakan

Instances

Instances details

Data Location Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Location -> c Location # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Location # toConstr :: Location -> Constr # dataTypeOf :: Location -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Location) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Location) # gmapT :: (forall b. Data b => b -> b) -> Location -> Location # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Location -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Location -> r # gmapQ :: (forall d. Data d => d -> u) -> Location -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Location -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Location -> m Location # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Location -> m Location # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Location -> m Location #
Read Location Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods readsPrec :: Int -> ReadS Location # readList :: ReadS [Location] # readPrec :: ReadPrec Location # readListPrec :: ReadPrec [Location] #
Show Location Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods showsPrec :: Int -> Location -> ShowS # show :: Location -> String # showList :: [Location] -> ShowS #
Eq Location Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods (==) :: Location -> Location -> Bool # (/=) :: Location -> Location -> Bool #
Ord Location Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods compare :: Location -> Location -> Ordering # (<) :: Location -> Location -> Bool # (<=) :: Location -> Location -> Bool # (>) :: Location -> Location -> Bool # (>=) :: Location -> Location -> Bool # max :: Location -> Location -> Location # min :: Location -> Location -> Location #
SymVal Location Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods mkSymVal :: MonadSymbolic m => VarContext -> Maybe String -> m (SBV Location) Source # literal :: Location -> SBV Location Source # fromCV :: CV -> Location Source # isConcretely :: SBV Location -> (Location -> Bool) -> Bool Source # free :: MonadSymbolic m => String -> m (SBV Location) Source # free_ :: MonadSymbolic m => m (SBV Location) Source # mkFreeVars :: MonadSymbolic m => Int -> m [SBV Location] Source # symbolic :: MonadSymbolic m => String -> m (SBV Location) Source # symbolics :: MonadSymbolic m => [String] -> m [SBV Location] Source # unliteral :: SBV Location -> Maybe Location Source # isConcrete :: SBV Location -> Bool Source # isSymbolic :: SBV Location -> Bool Source #
HasKind Location Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods kindOf :: Location -> Kind Source # hasSign :: Location -> Bool Source # intSizeOf :: Location -> Int Source # isBoolean :: Location -> Bool Source # isBounded :: Location -> Bool Source # isReal :: Location -> Bool Source # isFloat :: Location -> Bool Source # isDouble :: Location -> Bool Source # isRational :: Location -> Bool Source # isFP :: Location -> Bool Source # isUnbounded :: Location -> Bool Source # isUserSort :: Location -> Bool Source # isChar :: Location -> Bool Source # isString :: Location -> Bool Source # isList :: Location -> Bool Source # isSet :: Location -> Bool Source # isTuple :: Location -> Bool Source # isMaybe :: Location -> Bool Source # isEither :: Location -> Bool Source # showType :: Location -> String Source #
SatModel Location Source #
Instance details Defined in Documentation.SBV.Examples.Puzzles.Orangutans Methods parseCVs :: [CV] -> Maybe (Location, [CV]) Source # cvtModel :: (Location -> Maybe b) -> Maybe (Location, [CV]) -> Maybe (b, [CV]) Source #

type SOrangutan = SBV Orangutan Source #

Symbolic version of the type Orangutan.

sMerah :: SBV Orangutan Source #

Symbolic version of the constructor Merah.

sOfallo :: SBV Orangutan Source #

Symbolic version of the constructor Ofallo.

sQuirrel :: SBV Orangutan Source #

Symbolic version of the constructor Quirrel.

sShamir :: SBV Orangutan Source #

Symbolic version of the constructor Shamir.

type SHandler = SBV Handler Source #

Symbolic version of the type Handler.

sDolly :: SBV Handler Source #

Symbolic version of the constructor Dolly.

sEva :: SBV Handler Source #

Symbolic version of the constructor Eva.

sFrancine :: SBV Handler Source #

Symbolic version of the constructor Francine.

sGracie :: SBV Handler Source #

Symbolic version of the constructor Gracie.

type SLocation = SBV Location Source #

Symbolic version of the type Location.

sAmbalat :: SBV Location Source #

Symbolic version of the constructor Ambalat.

sBasahan :: SBV Location Source #

Symbolic version of the constructor Basahan.

sKendisi :: SBV Location Source #

Symbolic version of the constructor Kendisi.

sTarakan :: SBV Location Source #

Symbolic version of the constructor Tarakan.

data Assignment Source #

An assignment is solution to the puzzle

Constructors

MkAssignment
Fields orangutan :: SOrangutan handler :: SHandler location :: SLocation age :: SInteger

Instances

Instances details

Generic Assignment Source #

Instance details

Defined in Documentation.SBV.Examples.Puzzles.Orangutans

Associated Types

type Rep Assignment

Instance details

Defined in Documentation.SBV.Examples.Puzzles.Orangutans

type Rep Assignment = D1 ('MetaData "Assignment" "Documentation.SBV.Examples.Puzzles.Orangutans" "sbv-10.10-inplace" 'False) (C1 ('MetaCons "MkAssignment" 'PrefixI 'True) ((S1 ('MetaSel ('Just "orangutan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SOrangutan) :*: S1 ('MetaSel ('Just "handler") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SHandler)) :*: (S1 ('MetaSel ('Just "location") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SLocation) :*: S1 ('MetaSel ('Just "age") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SInteger))))

Methods

from :: Assignment -> Rep Assignment x #

to :: Rep Assignment x -> Assignment #

Mergeable Assignment Source #

Instance details

Defined in Documentation.SBV.Examples.Puzzles.Orangutans

Methods

symbolicMerge :: Bool -> SBool -> Assignment -> Assignment -> Assignment Source #

select :: (Ord b, SymVal b, Num b) => [Assignment] -> Assignment -> SBV b -> Assignment Source #

type Rep Assignment Source #

Instance details

Defined in Documentation.SBV.Examples.Puzzles.Orangutans

type Rep Assignment = D1 ('MetaData "Assignment" "Documentation.SBV.Examples.Puzzles.Orangutans" "sbv-10.10-inplace" 'False) (C1 ('MetaCons "MkAssignment" 'PrefixI 'True) ((S1 ('MetaSel ('Just "orangutan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SOrangutan) :*: S1 ('MetaSel ('Just "handler") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SHandler)) :*: (S1 ('MetaSel ('Just "location") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SLocation) :*: S1 ('MetaSel ('Just "age") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SInteger))))

mkSym :: Orangutan -> Symbolic Assignment Source #

Create a symbolic assignment, using symbolic fields.

puzzle :: ConstraintSet Source #

We get:

>>> allSat puzzle
Solution #1:
  Merah.handler    =   Gracie :: Handler
  Merah.location   =  Tarakan :: Location
  Merah.age        =       10 :: Integer
  Ofallo.handler   =      Eva :: Handler
  Ofallo.location  =  Kendisi :: Location
  Ofallo.age       =       13 :: Integer
  Quirrel.handler  =    Dolly :: Handler
  Quirrel.location =  Basahan :: Location
  Quirrel.age      =        4 :: Integer
  Shamir.handler   = Francine :: Handler
  Shamir.location  =  Ambalat :: Location
  Shamir.age       =        7 :: Integer
This is the only solution.