swarm-0.7.0.0: 2D resource gathering game with programmable robots
LicenseBSD-3-Clause
Safe HaskellNone
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] #

omittedField :: Maybe SubworldName #

ToJSON SubworldName Source # 
Instance details

Defined in Swarm.Game.Universe

Methods

toJSON :: SubworldName -> Value #

toEncoding :: SubworldName -> Encoding #

toJSONList :: [SubworldName] -> Value #

toEncodingList :: [SubworldName] -> Encoding #

omitField :: SubworldName -> Bool #

ToJSONKey SubworldName Source # 
Instance details

Defined in Swarm.Game.Universe

Methods

toJSONKey :: ToJSONKeyFunction SubworldName #

toJSONKeyList :: ToJSONKeyFunction [SubworldName] #

Generic SubworldName Source # 
Instance details

Defined in Swarm.Game.Universe

Associated Types

type Rep SubworldName 
Instance details

Defined in Swarm.Game.Universe

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

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.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-topography" '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 #

renderQuotedWorldName :: 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] #

omittedField :: Maybe (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 #

omitField :: Cosmic a -> Bool #

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

Defined in Swarm.Game.Universe

Methods

toJSONKey :: ToJSONKeyFunction (Cosmic a) #

toJSONKeyList :: ToJSONKeyFunction [Cosmic a] #

Generic (Cosmic a) Source # 
Instance details

Defined in Swarm.Game.Universe

Associated Types

type Rep (Cosmic a) 
Instance details

Defined in Swarm.Game.Universe

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

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.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-topography" 'False) (C1 ('MetaCons "Cosmic" 'PrefixI 'True) (S1 ('MetaSel ('Just "_subworld") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SubworldName) :*: S1 ('MetaSel ('Just "_planar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)))

planar :: forall a1 a2 f. Functor f => (a1 -> f a2) -> Cosmic a1 -> f (Cosmic a2) Source #

subworld :: forall a f. Functor f => (SubworldName -> f SubworldName) -> Cosmic a -> f (Cosmic 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 #

Rendering

locationToString :: Location -> String Source #

renderCoordsString :: Cosmic Location -> String Source #