Swarm.Game.World.Syntax

Abstract syntax for the Swarm world description DSL.

Documentation

Various component types

type World b = Coords -> b

type RawCellVal = [(Maybe CellTag, Text)]

data CellTag

Constructors

CellTerrain

CellEntity

CellRobot

Instances

Bounded CellTag

Defined in Swarm.Game.World.Syntax

Methods

minBound :: CellTag

maxBound :: CellTag

Enum CellTag

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

Defined in Swarm.Game.World.Syntax

Methods

showsPrec :: Int -> CellTag -> ShowS

show :: CellTag -> String

showList :: [CellTag] -> ShowS

Eq CellTag

Defined in Swarm.Game.World.Syntax

Methods

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

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

Ord CellTag

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

Defined in Swarm.Game.World.Syntax

Methods

prettyPrec :: Int -> CellTag -> Doc ann

data CellVal

Constructors

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

Instances

Show CellVal

Defined in Swarm.Game.World.Syntax

Methods

showsPrec :: Int -> CellVal -> ShowS

show :: CellVal -> String

showList :: [CellVal] -> ShowS

Eq CellVal

Defined in Swarm.Game.World.Syntax

Methods

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

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

Empty CellVal

Defined in Swarm.Game.World.Typecheck

Methods

empty :: CellVal

Over CellVal

Defined in Swarm.Game.World.Typecheck

Methods

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

PrettyPrec CellVal

Defined in Swarm.Game.World.Syntax

Methods

prettyPrec :: Int -> CellVal -> Doc ann

data Rot

Constructors

Rot0

Rot90

Rot180

Rot270

Instances

Bounded Rot

Defined in Swarm.Game.World.Syntax

Methods

minBound :: Rot

maxBound :: Rot

Enum Rot

Defined in Swarm.Game.World.Syntax

Methods

succ :: Rot -> Rot

pred :: Rot -> Rot

toEnum :: Int -> Rot

fromEnum :: Rot -> Int

enumFrom :: Rot -> [Rot]

enumFromThen :: Rot -> Rot -> [Rot]

enumFromTo :: Rot -> Rot -> [Rot]

enumFromThenTo :: Rot -> Rot -> Rot -> [Rot]

Show Rot

Defined in Swarm.Game.World.Syntax

Methods

showsPrec :: Int -> Rot -> ShowS

show :: Rot -> String

showList :: [Rot] -> ShowS

Eq Rot

Defined in Swarm.Game.World.Syntax

Methods

(==) :: Rot -> Rot -> Bool

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

Ord Rot

Defined in Swarm.Game.World.Syntax

Methods

compare :: Rot -> Rot -> Ordering

(<) :: Rot -> Rot -> Bool

(<=) :: Rot -> Rot -> Bool

(>) :: Rot -> Rot -> Bool

(>=) :: Rot -> Rot -> Bool

max :: Rot -> Rot -> Rot

min :: Rot -> Rot -> Rot

PrettyPrec Rot

Defined in Swarm.Game.World.Syntax

Methods

prettyPrec :: Int -> Rot -> Doc ann

type Var = Text

data Axis

Constructors

X

Y

Instances

Bounded Axis

Defined in Swarm.Game.World.Syntax

Methods

minBound :: Axis

maxBound :: Axis

Enum Axis

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

Defined in Swarm.Game.World.Syntax

Methods

showsPrec :: Int -> Axis -> ShowS

show :: Axis -> String

showList :: [Axis] -> ShowS

Eq Axis

Defined in Swarm.Game.World.Syntax

Methods

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

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

Ord Axis

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

Defined in Swarm.Game.World.Syntax

Methods

prettyPrec :: Int -> Axis -> Doc ann

data Op

Constructors

Not

Neg

And

Or

Add

Sub

Mul

Div

Mod

Eq

Neq

Lt

Leq

Gt

Geq

If

Perlin

Reflect Axis

Rot Rot

Mask

Overlay

Abs

Instances

Show Op

Defined in Swarm.Game.World.Syntax

Methods

showsPrec :: Int -> Op -> ShowS

show :: Op -> String

showList :: [Op] -> ShowS

Eq Op

Defined in Swarm.Game.World.Syntax

Methods

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

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

Ord Op

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

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

FromJSON WExp

Defined in Swarm.Game.World.Parse

Methods

parseJSON :: Value -> Parser WExp

parseJSONList :: Value -> Parser [WExp]

Show WExp

Defined in Swarm.Game.World.Syntax

Methods

showsPrec :: Int -> WExp -> ShowS

show :: WExp -> String

showList :: [WExp] -> ShowS

Eq WExp

Defined in Swarm.Game.World.Syntax

Methods

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

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