swarm-0.7.0.0: 2D resource gathering game with programmable robots

License	BSD-3-Clause
Safe Haskell	None
Language	Haskell2010

Swarm.Game.Robot.Walk

Description

Walkability exceptions

Synopsis

data Inclusions a
- = Whitelist a
- | Blacklist a
emptyExceptions :: Monoid a => Inclusions a
type WalkabilityExceptions a = Inclusions (Set a)
data WalkabilityContext = WalkabilityContext (Set Capability) (WalkabilityExceptions EntityName)

Documentation

data Inclusions a Source #

A Blacklist that is empty is the typical behavior, in which walkability is fully determined by an entity's Unwalkable or Liquid property. A Whitelist ignores those properties, and even blank terrain is considered unwalkable. Note that a Whitelist that is empty would allow no movement whatsoever.

Constructors

Whitelist a
Blacklist a

Instances

Instances details

Functor Inclusions Source #

Instance details

Defined in Swarm.Game.Robot.Walk

Methods

fmap :: (a -> b) -> Inclusions a -> Inclusions b #

(<$) :: a -> Inclusions b -> Inclusions a #

(FromJSON a, Ord a) => FromJSON (WalkabilityExceptions a) Source #

Instance details

Defined in Swarm.Game.Robot.Walk

Methods

parseJSON :: Value -> Parser (WalkabilityExceptions a) #

parseJSONList :: Value -> Parser [WalkabilityExceptions a] #

omittedField :: Maybe (WalkabilityExceptions a) #

ToJSON a => ToJSON (Inclusions a) Source #

Instance details

Defined in Swarm.Game.Robot.Walk

Methods

toJSON :: Inclusions a -> Value #

toEncoding :: Inclusions a -> Encoding #

toJSONList :: [Inclusions a] -> Value #

toEncodingList :: [Inclusions a] -> Encoding #

omitField :: Inclusions a -> Bool #

Generic (Inclusions a) Source #

Instance details

Defined in Swarm.Game.Robot.Walk

Associated Types

type Rep (Inclusions a)

Instance details

Defined in Swarm.Game.Robot.Walk

type Rep (Inclusions a) = D1 ('MetaData "Inclusions" "Swarm.Game.Robot.Walk" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-scenario" 'False) (C1 ('MetaCons "Whitelist" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "Blacklist" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)))

Methods

from :: Inclusions a -> Rep (Inclusions a) x #

to :: Rep (Inclusions a) x -> Inclusions a #

Show a => Show (Inclusions a) Source #

Instance details

Defined in Swarm.Game.Robot.Walk

Methods

showsPrec :: Int -> Inclusions a -> ShowS #

show :: Inclusions a -> String #

showList :: [Inclusions a] -> ShowS #

Eq a => Eq (Inclusions a) Source #

Instance details

Defined in Swarm.Game.Robot.Walk

Methods

(==) :: Inclusions a -> Inclusions a -> Bool #

(/=) :: Inclusions a -> Inclusions a -> Bool #

type Rep (Inclusions a) Source #

Instance details

Defined in Swarm.Game.Robot.Walk

type Rep (Inclusions a) = D1 ('MetaData "Inclusions" "Swarm.Game.Robot.Walk" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-scenario" 'False) (C1 ('MetaCons "Whitelist" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "Blacklist" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)))

emptyExceptions :: Monoid a => Inclusions a Source #

type WalkabilityExceptions a = Inclusions (Set a) Source #

data WalkabilityContext Source #

Properties of a robot used to determine whether an entity is walkable

Constructors

WalkabilityContext
Fields (Set Capability) (WalkabilityExceptions EntityName) which entities are unwalkable by this robot

Instances

Instances details

ToJSON WalkabilityContext Source #

Instance details

Defined in Swarm.Game.Robot.Walk

Methods

toJSON :: WalkabilityContext -> Value #

toEncoding :: WalkabilityContext -> Encoding #

toJSONList :: [WalkabilityContext] -> Value #

toEncodingList :: [WalkabilityContext] -> Encoding #

omitField :: WalkabilityContext -> Bool #

Generic WalkabilityContext Source #

Instance details

Defined in Swarm.Game.Robot.Walk

Associated Types

type Rep WalkabilityContext

Instance details

Defined in Swarm.Game.Robot.Walk

type Rep WalkabilityContext = D1 ('MetaData "WalkabilityContext" "Swarm.Game.Robot.Walk" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-scenario" 'False) (C1 ('MetaCons "WalkabilityContext" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set Capability)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (WalkabilityExceptions EntityName))))

Methods

from :: WalkabilityContext -> Rep WalkabilityContext x #

to :: Rep WalkabilityContext x -> WalkabilityContext #

Show WalkabilityContext Source #

Instance details

Defined in Swarm.Game.Robot.Walk

Methods

showsPrec :: Int -> WalkabilityContext -> ShowS #

show :: WalkabilityContext -> String #

showList :: [WalkabilityContext] -> ShowS #

Eq WalkabilityContext Source #

Instance details

Defined in Swarm.Game.Robot.Walk

Methods

(==) :: WalkabilityContext -> WalkabilityContext -> Bool #

(/=) :: WalkabilityContext -> WalkabilityContext -> Bool #

type Rep WalkabilityContext Source #

Instance details

Defined in Swarm.Game.Robot.Walk

type Rep WalkabilityContext = D1 ('MetaData "WalkabilityContext" "Swarm.Game.Robot.Walk" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-scenario" 'False) (C1 ('MetaCons "WalkabilityContext" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set Capability)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (WalkabilityExceptions EntityName))))