swarm-0.5.0.0: 2D resource gathering game with programmable robots
LicenseBSD-3-Clause
Safe HaskellSafe-Inferred
LanguageHaskell2010

Swarm.Game.Universe

Description

Types and utilities for working with "universal locations"; locations that encompass different 2-D subworlds.

Synopsis

Referring to subworlds

data SubworldName Source #

Constructors

DefaultRootSubworld 
SubworldName Text 

Instances

Instances details
FromJSON SubworldName Source # 
Instance details

Defined in Swarm.Game.Universe

Methods

parseJSON :: Value -> Parser SubworldName #

parseJSONList :: Value -> Parser [SubworldName] #

ToJSON SubworldName Source # 
Instance details

Defined in Swarm.Game.Universe

Methods

toJSON :: SubworldName -> Value #

toEncoding :: SubworldName -> Encoding #

toJSONList :: [SubworldName] -> Value #

toEncodingList :: [SubworldName] -> Encoding #

Generic SubworldName Source # 
Instance details

Defined in Swarm.Game.Universe

Associated Types

type Rep SubworldName :: Type -> Type #

Methods

from :: SubworldName -> Rep SubworldName x #

to :: Rep SubworldName x -> SubworldName #

Show SubworldName Source # 
Instance details

Defined in Swarm.Game.Universe

Methods

showsPrec :: Int -> SubworldName -> ShowS #

show :: SubworldName -> String #

showList :: [SubworldName] -> ShowS #

Eq SubworldName Source # 
Instance details

Defined in Swarm.Game.Universe

Methods

(==) :: SubworldName -> SubworldName -> Bool #

(/=) :: SubworldName -> SubworldName -> Bool #

Ord SubworldName Source # 
Instance details

Defined in Swarm.Game.Universe

Methods

compare :: SubworldName -> SubworldName -> Ordering #

(<) :: SubworldName -> SubworldName -> Bool #

(<=) :: SubworldName -> SubworldName -> Bool #

(>) :: SubworldName -> SubworldName -> Bool #

(>=) :: SubworldName -> SubworldName -> Bool #

max :: SubworldName -> SubworldName -> SubworldName #

min :: SubworldName -> SubworldName -> SubworldName #

type Rep SubworldName Source # 
Instance details

Defined in Swarm.Game.Universe

type Rep SubworldName = D1 ('MetaData "SubworldName" "Swarm.Game.Universe" "swarm-0.5.0.0-6qXEbhCmuXA4wRndqqhBu" 'False) (C1 ('MetaCons "DefaultRootSubworld" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SubworldName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

renderWorldName :: SubworldName -> Text Source #

Universal location

data Cosmic a Source #

The swarm universe consists of locations indexed by subworld. Not only is this parameterized datatype useful for planar (2D) coordinates, but is also used for named waypoints.

Constructors

Cosmic 

Fields

Instances

Instances details
Functor Cosmic Source # 
Instance details

Defined in Swarm.Game.Universe

Methods

fmap :: (a -> b) -> Cosmic a -> Cosmic b #

(<$) :: a -> Cosmic b -> Cosmic a #

FromJSON a => FromJSON (Cosmic a) Source # 
Instance details

Defined in Swarm.Game.Universe

Methods

parseJSON :: Value -> Parser (Cosmic a) #

parseJSONList :: Value -> Parser [Cosmic a] #

ToJSON a => ToJSON (Cosmic a) Source # 
Instance details

Defined in Swarm.Game.Universe

Methods

toJSON :: Cosmic a -> Value #

toEncoding :: Cosmic a -> Encoding #

toJSONList :: [Cosmic a] -> Value #

toEncodingList :: [Cosmic a] -> Encoding #

Generic (Cosmic a) Source # 
Instance details

Defined in Swarm.Game.Universe

Associated Types

type Rep (Cosmic a) :: Type -> Type #

Methods

from :: Cosmic a -> Rep (Cosmic a) x #

to :: Rep (Cosmic a) x -> Cosmic a #

Show a => Show (Cosmic a) Source # 
Instance details

Defined in Swarm.Game.Universe

Methods

showsPrec :: Int -> Cosmic a -> ShowS #

show :: Cosmic a -> String #

showList :: [Cosmic a] -> ShowS #

Eq a => Eq (Cosmic a) Source # 
Instance details

Defined in Swarm.Game.Universe

Methods

(==) :: Cosmic a -> Cosmic a -> Bool #

(/=) :: Cosmic a -> Cosmic a -> Bool #

Ord a => Ord (Cosmic a) Source # 
Instance details

Defined in Swarm.Game.Universe

Methods

compare :: Cosmic a -> Cosmic a -> Ordering #

(<) :: Cosmic a -> Cosmic a -> Bool #

(<=) :: Cosmic a -> Cosmic a -> Bool #

(>) :: Cosmic a -> Cosmic a -> Bool #

(>=) :: Cosmic a -> Cosmic a -> Bool #

max :: Cosmic a -> Cosmic a -> Cosmic a #

min :: Cosmic a -> Cosmic a -> Cosmic a #

type Rep (Cosmic a) Source # 
Instance details

Defined in Swarm.Game.Universe

type Rep (Cosmic a) = D1 ('MetaData "Cosmic" "Swarm.Game.Universe" "swarm-0.5.0.0-6qXEbhCmuXA4wRndqqhBu" 'False) (C1 ('MetaCons "Cosmic" 'PrefixI 'True) (S1 ('MetaSel ('Just "_subworld") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SubworldName) :*: S1 ('MetaSel ('Just "_planar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)))

subworld :: forall a. Lens' (Cosmic a) SubworldName Source #

planar :: forall a a. Lens (Cosmic a) (Cosmic a) a a Source #

Measurement

data DistanceMeasure b Source #

Constructors

Measurable b 
InfinitelyFar 

Instances

Instances details
Eq b => Eq (DistanceMeasure b) Source # 
Instance details

Defined in Swarm.Game.Universe

Methods

(==) :: DistanceMeasure b -> DistanceMeasure b -> Bool #

(/=) :: DistanceMeasure b -> DistanceMeasure b -> Bool #

Ord b => Ord (DistanceMeasure b) Source # 
Instance details

Defined in Swarm.Game.Universe

Methods

compare :: DistanceMeasure b -> DistanceMeasure b -> Ordering #

(<) :: DistanceMeasure b -> DistanceMeasure b -> Bool #

(<=) :: DistanceMeasure b -> DistanceMeasure b -> Bool #

(>) :: DistanceMeasure b -> DistanceMeasure b -> Bool #

(>=) :: DistanceMeasure b -> DistanceMeasure b -> Bool #

max :: DistanceMeasure b -> DistanceMeasure b -> DistanceMeasure b #

min :: DistanceMeasure b -> DistanceMeasure b -> DistanceMeasure b #

getFiniteDistance :: DistanceMeasure b -> Maybe b Source #

cosmoMeasure :: (a -> a -> b) -> Cosmic a -> Cosmic a -> DistanceMeasure b Source #

Returns InfinitelyFar if not within the same subworld.

Utilities

defaultCosmicLocation :: Cosmic Location Source #

offsetBy :: Cosmic Location -> V2 Int32 -> Cosmic Location Source #