License	BSD-3-Clause
Safe Haskell	Safe-Inferred
Language	Haskell2010

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 :: 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.6.0.0-ERx1HMcRMba59aI2b6aNrS-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 :: 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.6.0.0-ERx1HMcRMba59aI2b6aNrS-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 :: 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.6.0.0-ERx1HMcRMba59aI2b6aNrS-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 :: Type -> Type # 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.6.0.0-ERx1HMcRMba59aI2b6aNrS-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 :: Type -> Type # 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.6.0.0-ERx1HMcRMba59aI2b6aNrS-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))))