Safe Haskell	None
Language	Haskell98

Autolib.Pos

Documentation

data Pos Source #

Instances

Instances details

Reader Pos Source #
Instance details Defined in Autolib.Pos Methods atomic_reader :: Parser Pos # atomic_readerPrec :: Int -> Parser Pos # reader :: Parser Pos # readerPrec :: Int -> Parser Pos # readerList :: Parser [Pos] #
ToDoc Pos Source #
Instance details Defined in Autolib.Pos Methods toDocPrec :: Int -> Pos -> Doc # toDocList :: [Pos] -> Doc #
Data Pos Source #
Instance details Defined in Autolib.Pos Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pos -> c Pos # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pos # toConstr :: Pos -> Constr # dataTypeOf :: Pos -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pos) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pos) # gmapT :: (forall b. Data b => b -> b) -> Pos -> Pos # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r # gmapQ :: (forall d. Data d => d -> u) -> Pos -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Pos -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pos -> m Pos # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos #
Enum Pos Source #
Instance details Defined in Autolib.Pos Methods succ :: Pos -> Pos # pred :: Pos -> Pos # toEnum :: Int -> Pos # fromEnum :: Pos -> Int # enumFrom :: Pos -> [Pos] # enumFromThen :: Pos -> Pos -> [Pos] # enumFromTo :: Pos -> Pos -> [Pos] # enumFromThenTo :: Pos -> Pos -> Pos -> [Pos] #
Ix Pos Source #
Instance details Defined in Autolib.Pos Methods range :: (Pos, Pos) -> [Pos] # index :: (Pos, Pos) -> Pos -> Int # unsafeIndex :: (Pos, Pos) -> Pos -> Int # inRange :: (Pos, Pos) -> Pos -> Bool # rangeSize :: (Pos, Pos) -> Int # unsafeRangeSize :: (Pos, Pos) -> Int #
Num Pos Source #
Instance details Defined in Autolib.Pos Methods (+) :: Pos -> Pos -> Pos # (-) :: Pos -> Pos -> Pos # (*) :: Pos -> Pos -> Pos # negate :: Pos -> Pos # abs :: Pos -> Pos # signum :: Pos -> Pos # fromInteger :: Integer -> Pos #
Integral Pos Source #
Instance details Defined in Autolib.Pos Methods quot :: Pos -> Pos -> Pos # rem :: Pos -> Pos -> Pos # div :: Pos -> Pos -> Pos # mod :: Pos -> Pos -> Pos # quotRem :: Pos -> Pos -> (Pos, Pos) # divMod :: Pos -> Pos -> (Pos, Pos) # toInteger :: Pos -> Integer #
Real Pos Source #
Instance details Defined in Autolib.Pos Methods toRational :: Pos -> Rational #
Show Pos Source #
Instance details Defined in Autolib.Pos Methods showsPrec :: Int -> Pos -> ShowS # show :: Pos -> String # showList :: [Pos] -> ShowS #
Eq Pos Source #
Instance details Defined in Autolib.Pos Methods (==) :: Pos -> Pos -> Bool # (/=) :: Pos -> Pos -> Bool #
Ord Pos Source #
Instance details Defined in Autolib.Pos Methods compare :: Pos -> Pos -> Ordering # (<) :: Pos -> Pos -> Bool # (<=) :: Pos -> Pos -> Bool # (>) :: Pos -> Pos -> Bool # (>=) :: Pos -> Pos -> Bool # max :: Pos -> Pos -> Pos # min :: Pos -> Pos -> Pos #
Hashable Pos Source #
Instance details Defined in Autolib.Pos Methods hashWithSalt :: Int -> Pos -> Int # hash :: Pos -> Int #
Random Pos Source #
Instance details Defined in Autolib.Pos Methods randomR :: RandomGen g => (Pos, Pos) -> g -> (Pos, g) # random :: RandomGen g => g -> (Pos, g) # randomRs :: RandomGen g => (Pos, Pos) -> g -> [Pos] # randoms :: RandomGen g => g -> [Pos] #

pos :: Int -> Pos Source #

unPos :: Pos -> Int Source #