Game.LambdaHack.Common.Kind

General content types and operations.

Documentation

data Id c

Content identifiers for the content type c.

Instances

Bounded (Id c)

Enum (Id c)

Eq (Id c)

Ord (Id c)

Show (Id c)

Ix (Id c)

Binary (Id c)

data family Speedup a

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

data Ops a

Content operations for the content of type a.

Constructors

Ops

Fields

okind :: Id a -> a

the content element at given id

ouniqGroup :: Text -> Id a

the id of the unique member of a singleton content group

opick :: Text -> (a -> Bool) -> Rnd (Maybe (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 :: !(Maybe (Speedup a))

auxiliary speedup components

data COps

Operations for all content types, gathered together.

Constructors

COps

Fields

coactor :: !(Ops ActorKind)

cocave :: !(Ops CaveKind)

cofaction :: !(Ops FactionKind)

coitem :: !(Ops ItemKind)

comode :: !(Ops ModeKind)

coplace :: !(Ops PlaceKind)

corule :: !(Ops RuleKind)

cotile :: !(Ops TileKind)

Instances

Eq COps

Show COps

createOps :: forall a. Show a => ContentDef a -> Ops a

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

stdRuleset :: Ops RuleKind -> RuleKind

The standard ruleset used for level operations.

data Tab

createTab :: Ops TileKind -> (TileKind -> Bool) -> Tab

accessTab :: Tab -> Id TileKind -> Bool