swarm-0.7.0.0: 2D resource gathering game with programmable robots
LicenseBSD-3-Clause
Safe HaskellNone
LanguageHaskell2010

Swarm.Language.Syntax.CommandMetadata

Description

Command metadata for documentation

Documentation

data SensingType Source #

Constructors

RobotSensing 
EntitySensing 
WorldCondition 

Instances

Instances details
ToJSON SensingType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

toJSON :: SensingType -> Value #

toEncoding :: SensingType -> Encoding #

toJSONList :: [SensingType] -> Value #

toEncodingList :: [SensingType] -> Encoding #

omitField :: SensingType -> Bool #

Bounded SensingType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

minBound :: SensingType #

maxBound :: SensingType #

Enum SensingType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

succ :: SensingType -> SensingType #

pred :: SensingType -> SensingType #

toEnum :: Int -> SensingType #

fromEnum :: SensingType -> Int #

enumFrom :: SensingType -> [SensingType] #

enumFromThen :: SensingType -> SensingType -> [SensingType] #

enumFromTo :: SensingType -> SensingType -> [SensingType] #

enumFromThenTo :: SensingType -> SensingType -> SensingType -> [SensingType] #

Generic SensingType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Associated Types

type Rep SensingType 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

type Rep SensingType = D1 ('MetaData "SensingType" "Swarm.Language.Syntax.CommandMetadata" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-lang" 'False) (C1 ('MetaCons "RobotSensing" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EntitySensing" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WorldCondition" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: SensingType -> Rep SensingType x #

to :: Rep SensingType x -> SensingType #

Show SensingType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

showsPrec :: Int -> SensingType -> ShowS #

show :: SensingType -> String #

showList :: [SensingType] -> ShowS #

Eq SensingType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

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

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

Ord SensingType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

compare :: SensingType -> SensingType -> Ordering #

(<) :: SensingType -> SensingType -> Bool #

(<=) :: SensingType -> SensingType -> Bool #

(>) :: SensingType -> SensingType -> Bool #

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

max :: SensingType -> SensingType -> SensingType #

min :: SensingType -> SensingType -> SensingType #

type Rep SensingType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

type Rep SensingType = D1 ('MetaData "SensingType" "Swarm.Language.Syntax.CommandMetadata" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-lang" 'False) (C1 ('MetaCons "RobotSensing" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EntitySensing" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WorldCondition" 'PrefixI 'False) (U1 :: Type -> Type)))

data QueryType Source #

Constructors

Sensing SensingType

empirical knowledge

PRNG

The random number generator

APriori

a priori knowledge

Instances

Instances details
ToJSON QueryType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

toJSON :: QueryType -> Value #

toEncoding :: QueryType -> Encoding #

toJSONList :: [QueryType] -> Value #

toEncodingList :: [QueryType] -> Encoding #

omitField :: QueryType -> Bool #

Generic QueryType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Associated Types

type Rep QueryType 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

type Rep QueryType = D1 ('MetaData "QueryType" "Swarm.Language.Syntax.CommandMetadata" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-lang" 'False) (C1 ('MetaCons "Sensing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SensingType)) :+: (C1 ('MetaCons "PRNG" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "APriori" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: QueryType -> Rep QueryType x #

to :: Rep QueryType x -> QueryType #

Show QueryType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

showsPrec :: Int -> QueryType -> ShowS #

show :: QueryType -> String #

showList :: [QueryType] -> ShowS #

Eq QueryType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

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

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

Ord QueryType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

compare :: QueryType -> QueryType -> Ordering #

(<) :: QueryType -> QueryType -> Bool #

(<=) :: QueryType -> QueryType -> Bool #

(>) :: QueryType -> QueryType -> Bool #

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

max :: QueryType -> QueryType -> QueryType #

min :: QueryType -> QueryType -> QueryType #

type Rep QueryType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

type Rep QueryType = D1 ('MetaData "QueryType" "Swarm.Language.Syntax.CommandMetadata" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-lang" 'False) (C1 ('MetaCons "Sensing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SensingType)) :+: (C1 ('MetaCons "PRNG" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "APriori" 'PrefixI 'False) (U1 :: Type -> Type)))

data RobotChangeType Source #

Constructors

PositionChange 
InventoryChange 
ExistenceChange 
BehaviorChange 

Instances

Instances details
ToJSON RobotChangeType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

toJSON :: RobotChangeType -> Value #

toEncoding :: RobotChangeType -> Encoding #

toJSONList :: [RobotChangeType] -> Value #

toEncodingList :: [RobotChangeType] -> Encoding #

omitField :: RobotChangeType -> Bool #

Bounded RobotChangeType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

minBound :: RobotChangeType #

maxBound :: RobotChangeType #

Enum RobotChangeType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

succ :: RobotChangeType -> RobotChangeType #

pred :: RobotChangeType -> RobotChangeType #

toEnum :: Int -> RobotChangeType #

fromEnum :: RobotChangeType -> Int #

enumFrom :: RobotChangeType -> [RobotChangeType] #

enumFromThen :: RobotChangeType -> RobotChangeType -> [RobotChangeType] #

enumFromTo :: RobotChangeType -> RobotChangeType -> [RobotChangeType] #

enumFromThenTo :: RobotChangeType -> RobotChangeType -> RobotChangeType -> [RobotChangeType] #

Generic RobotChangeType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Associated Types

type Rep RobotChangeType 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

type Rep RobotChangeType = D1 ('MetaData "RobotChangeType" "Swarm.Language.Syntax.CommandMetadata" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-lang" 'False) ((C1 ('MetaCons "PositionChange" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InventoryChange" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ExistenceChange" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BehaviorChange" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: RobotChangeType -> Rep RobotChangeType x #

to :: Rep RobotChangeType x -> RobotChangeType #

Show RobotChangeType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

showsPrec :: Int -> RobotChangeType -> ShowS #

show :: RobotChangeType -> String #

showList :: [RobotChangeType] -> ShowS #

Eq RobotChangeType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

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

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

Ord RobotChangeType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

compare :: RobotChangeType -> RobotChangeType -> Ordering #

(<) :: RobotChangeType -> RobotChangeType -> Bool #

(<=) :: RobotChangeType -> RobotChangeType -> Bool #

(>) :: RobotChangeType -> RobotChangeType -> Bool #

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

max :: RobotChangeType -> RobotChangeType -> RobotChangeType #

min :: RobotChangeType -> RobotChangeType -> RobotChangeType #

type Rep RobotChangeType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

type Rep RobotChangeType = D1 ('MetaData "RobotChangeType" "Swarm.Language.Syntax.CommandMetadata" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-lang" 'False) ((C1 ('MetaCons "PositionChange" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InventoryChange" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ExistenceChange" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BehaviorChange" 'PrefixI 'False) (U1 :: Type -> Type)))

data MutationType Source #

Constructors

Cosmetic 
LogEmission 
EntityChange 
RobotChange RobotChangeType 

Instances

Instances details
ToJSON MutationType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

toJSON :: MutationType -> Value #

toEncoding :: MutationType -> Encoding #

toJSONList :: [MutationType] -> Value #

toEncodingList :: [MutationType] -> Encoding #

omitField :: MutationType -> Bool #

Generic MutationType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Associated Types

type Rep MutationType 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

type Rep MutationType = D1 ('MetaData "MutationType" "Swarm.Language.Syntax.CommandMetadata" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-lang" 'False) ((C1 ('MetaCons "Cosmetic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LogEmission" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "EntityChange" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RobotChange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RobotChangeType))))

Methods

from :: MutationType -> Rep MutationType x #

to :: Rep MutationType x -> MutationType #

Show MutationType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

showsPrec :: Int -> MutationType -> ShowS #

show :: MutationType -> String #

showList :: [MutationType] -> ShowS #

Eq MutationType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

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

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

Ord MutationType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

compare :: MutationType -> MutationType -> Ordering #

(<) :: MutationType -> MutationType -> Bool #

(<=) :: MutationType -> MutationType -> Bool #

(>) :: MutationType -> MutationType -> Bool #

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

max :: MutationType -> MutationType -> MutationType #

min :: MutationType -> MutationType -> MutationType #

type Rep MutationType Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

type Rep MutationType = D1 ('MetaData "MutationType" "Swarm.Language.Syntax.CommandMetadata" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-lang" 'False) ((C1 ('MetaCons "Cosmetic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LogEmission" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "EntityChange" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RobotChange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RobotChangeType))))

data CommandEffect Source #

Constructors

Query QueryType 
MetaEffect 
Mutation MutationType 

Instances

Instances details
ToJSON CommandEffect Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

toJSON :: CommandEffect -> Value #

toEncoding :: CommandEffect -> Encoding #

toJSONList :: [CommandEffect] -> Value #

toEncodingList :: [CommandEffect] -> Encoding #

omitField :: CommandEffect -> Bool #

Generic CommandEffect Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Associated Types

type Rep CommandEffect 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

type Rep CommandEffect = D1 ('MetaData "CommandEffect" "Swarm.Language.Syntax.CommandMetadata" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-lang" 'False) (C1 ('MetaCons "Query" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 QueryType)) :+: (C1 ('MetaCons "MetaEffect" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mutation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 MutationType))))

Methods

from :: CommandEffect -> Rep CommandEffect x #

to :: Rep CommandEffect x -> CommandEffect #

Show CommandEffect Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

showsPrec :: Int -> CommandEffect -> ShowS #

show :: CommandEffect -> String #

showList :: [CommandEffect] -> ShowS #

Eq CommandEffect Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

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

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

Ord CommandEffect Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

Methods

compare :: CommandEffect -> CommandEffect -> Ordering #

(<) :: CommandEffect -> CommandEffect -> Bool #

(<=) :: CommandEffect -> CommandEffect -> Bool #

(>) :: CommandEffect -> CommandEffect -> Bool #

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

max :: CommandEffect -> CommandEffect -> CommandEffect #

min :: CommandEffect -> CommandEffect -> CommandEffect #

type Rep CommandEffect Source # 
Instance details

Defined in Swarm.Language.Syntax.CommandMetadata

type Rep CommandEffect = D1 ('MetaData "CommandEffect" "Swarm.Language.Syntax.CommandMetadata" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-lang" 'False) (C1 ('MetaCons "Query" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 QueryType)) :+: (C1 ('MetaCons "MetaEffect" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mutation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 MutationType))))