Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
Seek to stream index. Relative to a base, which can either move during patching (actual relative) or stay constant ("absolute"). We abstract over the internal type to allow using natural types where we want to disallow negatives, and possibly allow sized types for efficiency.
Instances
FromJSON a => FromJSON (SIx a) Source # | |
ToJSON a => ToJSON (SIx a) Source # | |
Defined in StreamPatch.Seek | |
Data a => Data (SIx a) Source # | |
Defined in StreamPatch.Seek gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SIx a -> c (SIx a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (SIx a) # dataTypeOf :: SIx a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (SIx a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (SIx a)) # gmapT :: (forall b. Data b => b -> b) -> SIx a -> SIx a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SIx a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SIx a -> r # gmapQ :: (forall d. Data d => d -> u) -> SIx a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SIx a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SIx a -> m (SIx a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SIx a -> m (SIx a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SIx a -> m (SIx a) # | |
Generic (SIx a) Source # | |
Show a => Show (SIx a) Source # | |
Eq a => Eq (SIx a) Source # | |
Ord a => Ord (SIx a) Source # | |
type Rep (SIx a) Source # | |
Defined in StreamPatch.Seek |