Safe Haskell	Safe-Infered

Game.LambdaHack.Kind

Contents

General content types
Arrays of content identifiers

Description

General content types and operations.

Synopsis

General content types

data Id c Source

Content identifiers for the content type c.

Instances

Eq (Id c)
Ord (Id c)
Show (Id c)
Ix (Id c)
Binary (Id c)

data family Speedup a Source

Type family for auxiliary data structures for speeding up content operations.

data Ops a Source

Content operations for the content of type a.

Constructors

Ops

Fields

osymbol :: Id a -> Char: the symbol of a content element at id
oname :: Id a -> String: the name of a content element at id
okind :: Id a -> a: the content element at given id
ouniqGroup :: String -> Id a: the id of the unique member of a singleton content group
opick :: String -> (a -> Bool) -> Rnd (Id a): pick a random id belonging to a group and satisfying a predicate
ofoldrWithKey :: forall b. (Id a -> a -> b -> b) -> b -> b: fold over all content elements of a
obounds :: (Id a, Id a): bounds of identifiers of content a
ospeedup :: Speedup a: auxiliary speedup components

data COps Source

Operations for all content types, gathered together.

Constructors

COps
Fields coactor :: !(Ops ActorKind) cocave :: !(Ops CaveKind) coitem :: !(Ops ItemKind) coplace :: !(Ops PlaceKind) corule :: !(Ops RuleKind) cotile :: !(Ops TileKind)

Instances

Show COps

createOps :: forall a. Show a => CDefs a -> Ops aSource

Create content operations for type a from definition of content of type a.

stdRuleset :: Ops RuleKind -> RuleKind Source

The standard ruleset used for level operations.

Arrays of content identifiers

data Array i c Source

Arrays, indexed by type i of content identifiers pointing to content type c, where the identifiers are represented as Word8 (and so content of type c can have at most 256 elements).

Instances

(Show i, Ix i) => Show (Array i c)
(Ix i, Binary i) => Binary (Array i c)

(!) :: Ix i => Array i c -> i -> Id cSource

Content identifiers array lookup.

(//) :: Ix i => Array i c -> [(i, Id c)] -> Array i cSource

Construct a content identifiers array updated with the association list.

listArray :: Ix i => (i, i) -> [Id c] -> Array i cSource

Create a content identifiers array from a list of elements.

array :: Ix i => (i, i) -> [(i, Id c)] -> Array i cSource

Create a content identifiers array from an association list.

bounds :: Ix i => Array i c -> (i, i)Source

Content identifiers array bounds.