Copyright	Brent Yorgey
License	BSD-3-Clause
Maintainer	byorgey@gmail.com
Safe Haskell	Safe-Inferred
Language	Haskell2010

Swarm.Language.Capability

Description

Capabilities needed to evaluate and execute programs. Language constructs or commands require certain capabilities, and in turn capabilities are provided by various devices. A robot must have an appropriate device equipped in order to make use of each language construct or command.

Synopsis

data Capability
- = CPower
- | CMove
- | CMoveheavy
- | CTurn
- | CSelfdestruct
- | CGrab
- | CHarvest
- | CPlace
- | CGive
- | CEquip
- | CUnequip
- | CMake
- | CCount
- | CBuild
- | CSalvage
- | CDrill
- | CSenseloc
- | CSensefront
- | CSensehere
- | CScan
- | CRandom
- | CAppear
- | CCreate
- | CListen
- | CLog
- | CText
- | CCode
- | CFloat
- | CCond
- | CNegation
- | CCompare
- | COrient
- | CArith
- | CEnv
- | CLambda
- | CRecursion
- | CReprogram
- | CMeet
- | CWhoami
- | CSetname
- | CTeleport
- | CAtomic
- | CSwap
- | CTime
- | CTry
- | CSum
- | CProd
- | CGod
capabilityName :: Capability -> Text
constCaps :: Const -> Maybe Capability

Documentation

data Capability Source #

Various capabilities which robots can have.

Constructors

CPower	Be powered, i.e. execute anything at all
CMove	Execute the `Move` command
CMoveheavy	Execute the `Move` command for a heavy robot
CTurn	Execute the `Turn` command NOTE: using cardinal directions is separate `COrient` capability
CSelfdestruct	Execute the `Selfdestruct` command
CGrab	Execute the `Grab` command
CHarvest	Execute the `Harvest` command
CPlace	Execute the `Place` command
CGive	Execute the `Give` command
CEquip	Execute the `Equip` command
CUnequip	Execute the `Unequip` command
CMake	Execute the `Make` command
CCount	Execute the `Count` command
CBuild	Execute the `Build` command
CSalvage	Execute the `Salvage` command
CDrill	Execute the `Drill` command
CSenseloc	Execute the `Whereami` command
CSensefront	Execute the `Blocked` command
CSensehere	Execute the `Ishere` and `Isempty` commands
CScan	Execute the `Scan` command
CRandom	Execute the `Random` command
CAppear	Execute the `Appear` command
CCreate	Execute the `Create` command
CListen	Execute the `Listen` command and passively log messages if also has `CLog`
CLog	Execute the `Log` command
CText	Manipulate text values
CCode	Convert between characters/text and Unicode values
CFloat	Don't drown in liquid
CCond	Evaluate conditional expressions
CNegation	Negate boolean value
CCompare	Evaluate comparison operations
COrient	Use cardinal direction constants.
CArith	Evaluate arithmetic operations
CEnv	Store and look up definitions in an environment
CLambda	Interpret lambda abstractions
CRecursion	Enable recursive definitions
CReprogram	Execute the `Reprogram` command
CMeet	Execute the `meet` and `meetAll` commands.
CWhoami	Capability to introspect and see its own name
CSetname	Capability to set its own name
CTeleport	Capability to move unrestricted to any place
CAtomic	Capability to run commands atomically
CSwap	Capability to execute swap (grab and place atomically at the same time).
CTime	Capabiltiy to do time-related things, like `wait` and get the current time.
CTry	Capability to execute `try`.
CSum	Capability for working with sum types.
CProd	Capability for working with product types.
CGod	God-like capabilities. For e.g. commands intended only for checking challenge mode win conditions, and not for use by players.

Instances

Instances details

FromJSON Capability Source #
Instance details Defined in Swarm.Language.Capability Methods parseJSON :: Value -> Parser Capability # parseJSONList :: Value -> Parser [Capability] #
FromJSONKey Capability Source #
Instance details Defined in Swarm.Language.Capability Methods fromJSONKey :: FromJSONKeyFunction Capability # fromJSONKeyList :: FromJSONKeyFunction [Capability] #
ToJSON Capability Source #
Instance details Defined in Swarm.Language.Capability Methods toJSON :: Capability -> Value # toEncoding :: Capability -> Encoding # toJSONList :: [Capability] -> Value # toEncodingList :: [Capability] -> Encoding #
ToJSONKey Capability Source #
Instance details Defined in Swarm.Language.Capability Methods toJSONKey :: ToJSONKeyFunction Capability # toJSONKeyList :: ToJSONKeyFunction [Capability] #
Data Capability Source #
Instance details Defined in Swarm.Language.Capability Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Capability -> c Capability # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Capability # toConstr :: Capability -> Constr # dataTypeOf :: Capability -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Capability) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Capability) # gmapT :: (forall b. Data b => b -> b) -> Capability -> Capability # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Capability -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Capability -> r # gmapQ :: (forall d. Data d => d -> u) -> Capability -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Capability -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Capability -> m Capability # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Capability -> m Capability # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Capability -> m Capability #
Bounded Capability Source #
Instance details Defined in Swarm.Language.Capability Methods minBound :: Capability # maxBound :: Capability #
Enum Capability Source #
Instance details Defined in Swarm.Language.Capability Methods succ :: Capability -> Capability # pred :: Capability -> Capability # toEnum :: Int -> Capability # fromEnum :: Capability -> Int # enumFrom :: Capability -> [Capability] # enumFromThen :: Capability -> Capability -> [Capability] # enumFromTo :: Capability -> Capability -> [Capability] # enumFromThenTo :: Capability -> Capability -> Capability -> [Capability] #
Generic Capability Source #
Instance details Defined in Swarm.Language.Capability Associated Types type Rep Capability :: Type -> Type # Methods from :: Capability -> Rep Capability x # to :: Rep Capability x -> Capability #
Read Capability Source #
Instance details Defined in Swarm.Language.Capability Methods readsPrec :: Int -> ReadS Capability # readList :: ReadS [Capability] # readPrec :: ReadPrec Capability # readListPrec :: ReadPrec [Capability] #
Show Capability Source #
Instance details Defined in Swarm.Language.Capability Methods showsPrec :: Int -> Capability -> ShowS # show :: Capability -> String # showList :: [Capability] -> ShowS #
Eq Capability Source #
Instance details Defined in Swarm.Language.Capability Methods (==) :: Capability -> Capability -> Bool # (/=) :: Capability -> Capability -> Bool #
Ord Capability Source #
Instance details Defined in Swarm.Language.Capability Methods compare :: Capability -> Capability -> Ordering # (<) :: Capability -> Capability -> Bool # (<=) :: Capability -> Capability -> Bool # (>) :: Capability -> Capability -> Bool # (>=) :: Capability -> Capability -> Bool # max :: Capability -> Capability -> Capability # min :: Capability -> Capability -> Capability #
Hashable Capability Source #
Instance details Defined in Swarm.Language.Capability Methods hashWithSalt :: Int -> Capability -> Int # hash :: Capability -> Int #
PrettyPrec Capability Source #
Instance details Defined in Swarm.Language.Pretty Methods prettyPrec :: Int -> Capability -> Doc ann Source #
type Rep Capability Source #
Instance details Defined in Swarm.Language.Capability type Rep Capability = D1 ('MetaData "Capability" "Swarm.Language.Capability" "swarm-0.3.0.1-EqejWKaUFCJHRV1d3nJuA2" 'False) (((((C1 ('MetaCons "CPower" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CMove" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CMoveheavy" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CTurn" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CSelfdestruct" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CGrab" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CHarvest" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CPlace" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CGive" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CEquip" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CUnequip" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CMake" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "CCount" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CBuild" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CSalvage" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CDrill" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CSenseloc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CSensefront" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CSensehere" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CScan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CRandom" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CAppear" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CCreate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CListen" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "CLog" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CText" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CCode" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CFloat" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CCond" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CNegation" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CCompare" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "COrient" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CArith" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CEnv" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CLambda" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CRecursion" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "CReprogram" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CMeet" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CWhoami" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CSetname" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CTeleport" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CAtomic" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CSwap" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CTime" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CTry" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CSum" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CProd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CGod" 'PrefixI 'False) (U1 :: Type -> Type)))))))

capabilityName :: Capability -> Text Source #

constCaps :: Const -> Maybe Capability Source #

Capabilities needed to evaluate or execute a constant.