Physics.World

Simple data structure that can act as a physical world to simulate. I will likely implement more interesting world data structures in the future.

Documentation

data World a

A simple PhysicsWorld implementation using IntMap

Constructors

World

Fields

• _worldObjs :: !(IntMap a)

  Inhabitants by unique Int key

• _worldNextKey :: !Int

  Key to use for the next new inhabitant

Instances

Contactable a => PhysicsWorld Int (World a) a

Methods

wKeys :: World a -> [Int]

wObj :: Int -> Traversal' (World a) a

wPair :: (Int, Int) -> Traversal' (World a) (a, a)

wObjs :: IndexedTraversal' Int (World a) a

Show a => Show (World a)

Methods

showsPrec :: Int -> World a -> ShowS

show :: World a -> String

showList :: [World a] -> ShowS

Generic (World a)

Associated Types

type Rep (World a) :: * -> *

Methods

from :: World a -> Rep (World a) x

to :: Rep (World a) x -> World a

NFData a => NFData (World a)

Methods

rnf :: World a -> ()

type Rep (World a)

type Rep (World a) = D1 * (MetaData "World" "Physics.World" "shapes-0.1.0.0-E6UUiYRpOc15rGTlEn6KOE" False) (C1 * (MetaCons "World" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "_worldObjs") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (IntMap a))) (S1 * (MetaSel (Just Symbol "_worldNextKey") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Int))))

worldObjs :: forall a a. Lens (World a) (World a) (IntMap a) (IntMap a)

worldNextKey :: forall a. Lens' (World a) Int

emptyWorld :: World a

A World without any inhabitants.

addObj :: World a -> a -> World a

Add a new inhabitant to the World

addObj' :: World a -> a -> (Int, World a)

Add a new inhabitant to the World. Also, get inhabitant's Int key.

fromList

Arguments

:: [a]

Population for the new World

-> World a

Create a World from a list of inhabitants