Safe Haskell	Safe-Inferred
Language	GHC2021

AtCoder.Extra.Ix0

Description

Opinionated zero-based multidimensional index and their boundaries.

Documentation

type Bounds0 i = i Source #

class Ix0 i where Source #

Methods

rangeSize0 :: Bounds0 i -> Int Source #

Returns the size of the boundary.

index0 :: Bounds0 i -> i -> Int Source #

Returns zero-based index, **without** running boundary check.

inRange0 :: Bounds0 i -> i -> Bool Source #

Returns whether an index is contained in a bounds.

Instances

Instances details

Ix0 Int Source #
Instance details Defined in AtCoder.Extra.Ix0 Methods rangeSize0 :: Bounds0 Int -> Int Source # index0 :: Bounds0 Int -> Int -> Int Source # inRange0 :: Bounds0 Int -> Int -> Bool Source #
Ix0 (Int, Int) Source #
Instance details Defined in AtCoder.Extra.Ix0 Methods rangeSize0 :: Bounds0 (Int, Int) -> Int Source # index0 :: Bounds0 (Int, Int) -> (Int, Int) -> Int Source # inRange0 :: Bounds0 (Int, Int) -> (Int, Int) -> Bool Source #
Ix0 (Int, Int, Int) Source #
Instance details Defined in AtCoder.Extra.Ix0 Methods rangeSize0 :: Bounds0 (Int, Int, Int) -> Int Source # index0 :: Bounds0 (Int, Int, Int) -> (Int, Int, Int) -> Int Source # inRange0 :: Bounds0 (Int, Int, Int) -> (Int, Int, Int) -> Bool Source #
Ix0 (Int, Int, Int, Int) Source #
Instance details Defined in AtCoder.Extra.Ix0 Methods rangeSize0 :: Bounds0 (Int, Int, Int, Int) -> Int Source # index0 :: Bounds0 (Int, Int, Int, Int) -> (Int, Int, Int, Int) -> Int Source # inRange0 :: Bounds0 (Int, Int, Int, Int) -> (Int, Int, Int, Int) -> Bool Source #
Ix0 (Int, Int, Int, Int, Int) Source #
Instance details Defined in AtCoder.Extra.Ix0 Methods rangeSize0 :: Bounds0 (Int, Int, Int, Int, Int) -> Int Source # index0 :: Bounds0 (Int, Int, Int, Int, Int) -> (Int, Int, Int, Int, Int) -> Int Source # inRange0 :: Bounds0 (Int, Int, Int, Int, Int) -> (Int, Int, Int, Int, Int) -> Bool Source #
Ix0 (Int, Int, Int, Int, Int, Int) Source #
Instance details Defined in AtCoder.Extra.Ix0 Methods rangeSize0 :: Bounds0 (Int, Int, Int, Int, Int, Int) -> Int Source # index0 :: Bounds0 (Int, Int, Int, Int, Int, Int) -> (Int, Int, Int, Int, Int, Int) -> Int Source # inRange0 :: Bounds0 (Int, Int, Int, Int, Int, Int) -> (Int, Int, Int, Int, Int, Int) -> Bool Source #