Game.LambdaHack.Common.KindOps

General content types and operations.

Documentation

newtype Id c

Content identifiers for the content type c.

Constructors

Id Word16

Instances

Bounded (Id c)

Methods

minBound :: Id c

maxBound :: Id c

Enum (Id c)

Methods

succ :: Id c -> Id c

pred :: Id c -> Id c

toEnum :: Int -> Id c

fromEnum :: Id c -> Int

enumFrom :: Id c -> [Id c]

enumFromThen :: Id c -> Id c -> [Id c]

enumFromTo :: Id c -> Id c -> [Id c]

enumFromThenTo :: Id c -> Id c -> Id c -> [Id c]

Eq (Id c)

Methods

(==) :: Id c -> Id c -> Bool

(/=) :: Id c -> Id c -> Bool

Ord (Id c)

Methods

compare :: Id c -> Id c -> Ordering

(<) :: Id c -> Id c -> Bool

(<=) :: Id c -> Id c -> Bool

(>) :: Id c -> Id c -> Bool

(>=) :: Id c -> Id c -> Bool

max :: Id c -> Id c -> Id c

min :: Id c -> Id c -> Id c

Show (Id c)

Methods

showsPrec :: Int -> Id c -> ShowS

show :: Id c -> String

showList :: [Id c] -> ShowS

Binary (Id c)

Methods

put :: Id c -> Put

get :: Get (Id c)

putList :: [Id c] -> Put

data Ops a

Content operations for the content of type a.

Constructors

Ops

Fields

• okind :: Id a -> a

  content element at given id

• ouniqGroup :: GroupName a -> Id a

  the id of the unique member of a singleton content group

• opick :: GroupName a -> (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

• ofoldlWithKey' :: forall b. (b -> Id a -> a -> b) -> b -> b

  fold strictly over all content a

• ofoldlGroup' :: forall b. GroupName a -> (b -> Int -> Id a -> a -> b) -> b -> b

  fold over the given group only

• olength :: Int

  size of content a