Swarm.Language.Capability

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 installed in order to make use of each language construct or command.

Documentation

data Capability

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

CInstall

Execute the Install 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 command

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

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

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

FromJSON Capability

Defined in Swarm.Language.Capability

Methods

parseJSON :: Value -> Parser Capability

parseJSONList :: Value -> Parser [Capability]

FromJSONKey Capability

Defined in Swarm.Language.Capability

Methods

fromJSONKey :: FromJSONKeyFunction Capability

fromJSONKeyList :: FromJSONKeyFunction [Capability]

ToJSON Capability

Defined in Swarm.Language.Capability

Methods

toJSON :: Capability -> Value

toEncoding :: Capability -> Encoding

toJSONList :: [Capability] -> Value

toEncodingList :: [Capability] -> Encoding

ToJSONKey Capability

Defined in Swarm.Language.Capability

Methods

toJSONKey :: ToJSONKeyFunction Capability

toJSONKeyList :: ToJSONKeyFunction [Capability]

Data Capability

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

Defined in Swarm.Language.Capability

Methods

minBound :: Capability

maxBound :: Capability

Enum Capability

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

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

Defined in Swarm.Language.Capability

Methods

readsPrec :: Int -> ReadS Capability

readList :: ReadS [Capability]

readPrec :: ReadPrec Capability

readListPrec :: ReadPrec [Capability]

Show Capability

Defined in Swarm.Language.Capability

Methods

showsPrec :: Int -> Capability -> ShowS

show :: Capability -> String

showList :: [Capability] -> ShowS

Eq Capability

Defined in Swarm.Language.Capability

Methods

(==) :: Capability -> Capability -> Bool

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

Ord Capability

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

Defined in Swarm.Language.Capability

Methods

hashWithSalt :: Int -> Capability -> Int

hash :: Capability -> Int

PrettyPrec Capability

Defined in Swarm.Language.Pretty

Methods

prettyPrec :: Int -> Capability -> Doc ann

type Rep Capability

Defined in Swarm.Language.Capability

type Rep Capability = D1 ('MetaData "Capability" "Swarm.Language.Capability" "swarm-0.1.0.0-CFIPFkeeTOhKLDsfeG4aYn" '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 "CInstall" '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 "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 "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

constCaps :: Const -> Maybe Capability

Capabilities needed to evaluate or execute a constant.