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

Swarm.Game.World.Syntax

Description

Abstract syntax for the Swarm world description DSL.

Synopsis

Documentation

Various component types

type World b = Coords -> b Source #

type RawCellVal = [(Maybe CellTag, Text)] Source #

data CellTag Source #

Constructors

CellTerrain 
CellEntity 
CellRobot 

Instances

Instances details
Bounded CellTag Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

minBound :: CellTag #

maxBound :: CellTag #

Enum CellTag Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

succ :: CellTag -> CellTag #

pred :: CellTag -> CellTag #

toEnum :: Int -> CellTag #

fromEnum :: CellTag -> Int #

enumFrom :: CellTag -> [CellTag] #

enumFromThen :: CellTag -> CellTag -> [CellTag] #

enumFromTo :: CellTag -> CellTag -> [CellTag] #

enumFromThenTo :: CellTag -> CellTag -> CellTag -> [CellTag] #

Show CellTag Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

showsPrec :: Int -> CellTag -> ShowS #

show :: CellTag -> String #

showList :: [CellTag] -> ShowS #

Eq CellTag Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

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

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

Ord CellTag Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

compare :: CellTag -> CellTag -> Ordering #

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

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

(>) :: CellTag -> CellTag -> Bool #

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

max :: CellTag -> CellTag -> CellTag #

min :: CellTag -> CellTag -> CellTag #

PrettyPrec CellTag Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

prettyPrec :: Int -> CellTag -> Doc ann

data CellVal Source #

Constructors

CellVal TerrainType (Erasable (Last Entity)) [TRobot] 

Instances

Instances details
Show CellVal Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

showsPrec :: Int -> CellVal -> ShowS #

show :: CellVal -> String #

showList :: [CellVal] -> ShowS #

Eq CellVal Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

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

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

Empty CellVal Source # 
Instance details

Defined in Swarm.Game.World.Typecheck

Methods

empty :: CellVal Source #

Over CellVal Source # 
Instance details

Defined in Swarm.Game.World.Typecheck

Methods

(<!>) :: CellVal -> CellVal -> CellVal Source #

PrettyPrec CellVal Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

prettyPrec :: Int -> CellVal -> Doc ann

type Var = Text Source #

data Axis Source #

Constructors

X 
Y 

Instances

Instances details
Bounded Axis Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

minBound :: Axis #

maxBound :: Axis #

Enum Axis Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

succ :: Axis -> Axis #

pred :: Axis -> Axis #

toEnum :: Int -> Axis #

fromEnum :: Axis -> Int #

enumFrom :: Axis -> [Axis] #

enumFromThen :: Axis -> Axis -> [Axis] #

enumFromTo :: Axis -> Axis -> [Axis] #

enumFromThenTo :: Axis -> Axis -> Axis -> [Axis] #

Show Axis Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

showsPrec :: Int -> Axis -> ShowS #

show :: Axis -> String #

showList :: [Axis] -> ShowS #

Eq Axis Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

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

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

Ord Axis Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

compare :: Axis -> Axis -> Ordering #

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

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

(>) :: Axis -> Axis -> Bool #

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

max :: Axis -> Axis -> Axis #

min :: Axis -> Axis -> Axis #

PrettyPrec Axis Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

prettyPrec :: Int -> Axis -> Doc ann

data Op Source #

Constructors

Not 
Neg 
And 
Or 
Add 
Sub 
Mul 
Div 
Mod 
Eq 
Neq 
Lt 
Leq 
Gt 
Geq 
If 
Perlin 
Mask 
Overlay 
Abs 
IMap 

Instances

Instances details
Show Op Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

showsPrec :: Int -> Op -> ShowS #

show :: Op -> String #

showList :: [Op] -> ShowS #

Eq Op Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

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

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

Ord Op Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

compare :: Op -> Op -> Ordering #

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

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

(>) :: Op -> Op -> Bool #

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

max :: Op -> Op -> Op #

min :: Op -> Op -> Op #

The main AST type

data WExp where Source #

Constructors

WInt :: Integer -> WExp 
WFloat :: Double -> WExp 
WBool :: Bool -> WExp 
WCell :: RawCellVal -> WExp 
WVar :: Text -> WExp 
WOp :: Op -> [WExp] -> WExp 
WSeed :: WExp 
WCoord :: Axis -> WExp 
WHash :: WExp 
WLet :: [(Var, WExp)] -> WExp -> WExp 
WOverlay :: NonEmpty WExp -> WExp 
WImport :: Text -> WExp 

Instances

Instances details
FromJSON WExp Source # 
Instance details

Defined in Swarm.Game.World.Parse

Methods

parseJSON :: Value -> Parser WExp #

parseJSONList :: Value -> Parser [WExp] #

omittedField :: Maybe WExp #

Show WExp Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

showsPrec :: Int -> WExp -> ShowS #

show :: WExp -> String #

showList :: [WExp] -> ShowS #

Eq WExp Source # 
Instance details

Defined in Swarm.Game.World.Syntax

Methods

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

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