Copyright	(c) Eric Mertens 2018
License	ISC
Maintainer	emertens@gmail.com
Safe Haskell	None
Language	Haskell2010

Advent.Coord

Description

2-dimensional coordinates commonly found in AoC problems where y grows down, x grows right.

   -y
    ↑
-x ←0→ +x
    ↓
   +y

Synopsis

data Coord = C !Int !Int
coordRow :: Coord -> Int
coordCol :: Coord -> Int
above :: Coord -> Coord
below :: Coord -> Coord
left :: Coord -> Coord
right :: Coord -> Coord
invert :: Coord -> Coord
flipX :: Coord -> Coord
flipY :: Coord -> Coord
turnLeft :: Coord -> Coord
turnRight :: Coord -> Coord
turnAround :: Coord -> Coord
manhattan :: Coord -> Coord -> Int
cardinal :: Coord -> [Coord]
neighbors :: Coord -> [Coord]
boundingBox :: [Coord] -> Maybe (Coord, Coord)
origin :: Coord
north :: Coord
east :: Coord
south :: Coord
west :: Coord
addCoord :: Coord -> Coord -> Coord
scaleCoord :: Int -> Coord -> Coord
drawPicture :: Map Coord Char -> String
drawCoords :: Foldable t => t Coord -> String
coordLines :: [String] -> [(Coord, Char)]
mapCoord :: (Int -> Int) -> Coord -> Coord
zipCoord :: (Int -> Int -> Int) -> Coord -> Coord -> Coord

Documentation

data Coord Source #

Two-dimensional coordinate

Constructors

C !Int !Int

Instances

Instances details

Eq Coord Source #
Instance details Defined in Advent.Coord Methods (==) :: Coord -> Coord -> Bool # (/=) :: Coord -> Coord -> Bool #
Num Coord Source #	Paisewise treatment of coordinates
Instance details Defined in Advent.Coord Methods (+) :: Coord -> Coord -> Coord # (-) :: Coord -> Coord -> Coord # (*) :: Coord -> Coord -> Coord # negate :: Coord -> Coord # abs :: Coord -> Coord # signum :: Coord -> Coord # fromInteger :: Integer -> Coord #
Ord Coord Source #
Instance details Defined in Advent.Coord Methods compare :: Coord -> Coord -> Ordering # (<) :: Coord -> Coord -> Bool # (<=) :: Coord -> Coord -> Bool # (>) :: Coord -> Coord -> Bool # (>=) :: Coord -> Coord -> Bool # max :: Coord -> Coord -> Coord # min :: Coord -> Coord -> Coord #
Read Coord Source #
Instance details Defined in Advent.Coord Methods readsPrec :: Int -> ReadS Coord # readList :: ReadS [Coord] # readPrec :: ReadPrec Coord # readListPrec :: ReadPrec [Coord] #
Show Coord Source #
Instance details Defined in Advent.Coord Methods showsPrec :: Int -> Coord -> ShowS # show :: Coord -> String # showList :: [Coord] -> ShowS #
Ix Coord Source #	Row-major coordinate indexing `>>>` `range (C 1 1, C 2 2)`[C 1 1,C 1 2,C 2 1,C 2 2] `>>>` `index (C 1 1, C 2 2) <$> range (C 1 1, C 2 2)`[0,1,2,3]
Instance details Defined in Advent.Coord Methods range :: (Coord, Coord) -> [Coord] # index :: (Coord, Coord) -> Coord -> Int # unsafeIndex :: (Coord, Coord) -> Coord -> Int # inRange :: (Coord, Coord) -> Coord -> Bool # rangeSize :: (Coord, Coord) -> Int # unsafeRangeSize :: (Coord, Coord) -> Int #
Generic Coord Source #
Instance details Defined in Advent.Coord Associated Types type Rep Coord :: Type -> Type # Methods from :: Coord -> Rep Coord x # to :: Rep Coord x -> Coord #
HasTrie Coord Source #
Instance details Defined in Advent.Coord Associated Types data (:->:) Coord :: Type -> Type Methods trie :: (Coord -> b) -> Coord :->: b untrie :: (Coord :->: b) -> Coord -> b enumerate :: (Coord :->: b) -> [(Coord, b)]
type Rep Coord Source #
Instance details Defined in Advent.Coord type Rep Coord = D1 ('MetaData "Coord" "Advent.Coord" "advent2021-0.1.0.0-inplace" 'False) (C1 ('MetaCons "C" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)))
newtype Coord :->: a Source #
Instance details Defined in Advent.Coord newtype Coord :->: a = CT (Int :->: (Int :->: a))