Copyright | (c) axionbuster 2025 |
---|---|
License | BSD-3-Clause |
Safe Haskell | None |
Language | GHC2021 |
Implements the packed integer Position format used by Minecraft Java Edition, including encoding and decoding of 3D coordinates into a compact Int64 representation.
Documentation
Deserialized position representation
Position | |
|
Instances
Data Position Source # | |||||
Defined in M.Position gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Position -> c Position # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Position # toConstr :: Position -> Constr # dataTypeOf :: Position -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Position) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Position) # gmapT :: (forall b. Data b => b -> b) -> Position -> Position # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Position -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Position -> r # gmapQ :: (forall d. Data d => d -> u) -> Position -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Position -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Position -> m Position # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Position -> m Position # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Position -> m Position # | |||||
Generic Position Source # | |||||
Defined in M.Position
| |||||
Read Position Source # | |||||
Show Position Source # | |||||
NFData Position Source # | |||||
Defined in M.Position | |||||
Eq Position Source # | |||||
Ord Position Source # | |||||
Hashable Position Source # | |||||
Defined in M.Position | |||||
Pack Position Source # | |||||
Unpack Position Source # | |||||
Defined in M.Position | |||||
Lift Position Source # | |||||
type Rep Position Source # | |||||
Defined in M.Position |