Copyright	(c) Andrey Mulik 2020
License	BSD-style
Maintainer	work.a.mulik@gmail.com
Portability	non-portable (GHC extensions)
Safe Haskell	Trustworthy
Language	Haskell2010

SDP.Templates.AnyChunks

Contents

Export
Chunk list

Description

SDP.Templates.AnyChunks provides AnyChunks - list of data chunks.

Synopsis

module SDP.IndexedM
module SDP.Scan
data AnyChunks rep e
fromChunks :: Nullable (rep e) => [rep e] -> AnyChunks rep e
fromChunksM :: BorderedM1 m rep Int e => [rep e] -> m (AnyChunks rep e)
toChunks :: AnyChunks rep e -> [rep e]

Export

module SDP.IndexedM

module SDP.Scan

Chunk list

data AnyChunks rep e Source #

AnyChunks is list of data chunks. AnyChunks shouldn't contain empty chunks, so the AnyChunks constructor is made private (see fromChunks and fromChunksM).

Efficiency of operations on AnyChunks rep e are very sensitive in the efficiency of Bordered, Linear and Split on rep e.
AnyChunks rep e is only defined for Int-indexed rep e.
Eq, Ord, Eq1 and Ord1 instances compare AnyChunks rep e as streams of equal size chunks. To do this, the comparison rep e must also be lexicographic, also for rep e must implement Bordered and Split.
Freeze and Thaw for AnyChunks rep e are defined for all rep e that already have Freeze and Thaw instances.

Instances

Instances details

Eq1 Unlist Source #
Instance details Defined in SDP.Unrolled.Unlist Methods liftEq :: (a -> b -> Bool) -> Unlist a -> Unlist b -> Bool #
Ord1 Unlist Source #
Instance details Defined in SDP.Unrolled.Unlist Methods liftCompare :: (a -> b -> Ordering) -> Unlist a -> Unlist b -> Ordering #
Zip Unlist Source #
Instance details Defined in SDP.Unrolled.Unlist Methods zap :: Unlist (a -> b) -> Unlist a -> Unlist b Source # all2 :: (a -> b -> Bool) -> Unlist a -> Unlist b -> Bool Source # all3 :: (a -> b -> c -> Bool) -> Unlist a -> Unlist b -> Unlist c -> Bool Source # all4 :: (a -> b -> c -> d -> Bool) -> Unlist a -> Unlist b -> Unlist c -> Unlist d -> Bool Source # all5 :: (a -> b -> c -> d -> e -> Bool) -> Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist e -> Bool Source # all6 :: (a -> b -> c -> d -> e -> f -> Bool) -> Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist e -> Unlist f -> Bool Source # any2 :: (a -> b -> Bool) -> Unlist a -> Unlist b -> Bool Source # any3 :: (a -> b -> c -> Bool) -> Unlist a -> Unlist b -> Unlist c -> Bool Source # any4 :: (a -> b -> c -> d -> Bool) -> Unlist a -> Unlist b -> Unlist c -> Unlist d -> Bool Source # any5 :: (a -> b -> c -> d -> e -> Bool) -> Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist e -> Bool Source # any6 :: (a -> b -> c -> d -> e -> f -> Bool) -> Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist e -> Unlist f -> Bool Source # zip :: Unlist a -> Unlist b -> Unlist (a, b) Source # zip3 :: Unlist a -> Unlist b -> Unlist c -> Unlist (a, b, c) Source # zip4 :: Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist (a, b, c, d) Source # zip5 :: Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist e -> Unlist (a, b, c, d, e) Source # zip6 :: Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist e -> Unlist f -> Unlist (a, b, c, d, e, f) Source # zipWith :: (a -> b -> c) -> Unlist a -> Unlist b -> Unlist c Source # zipWith3 :: (a -> b -> c -> d) -> Unlist a -> Unlist b -> Unlist c -> Unlist d Source # zipWith4 :: (a -> b -> c -> d -> e) -> Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist e Source # zipWith5 :: (a -> b -> c -> d -> e -> f) -> Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist e -> Unlist f Source # zipWith6 :: (a -> b -> c -> d -> e -> f -> g) -> Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist e -> Unlist f -> Unlist g Source #
Freeze1 m mut imm e => Freeze m (mut e) (AnyChunks imm e) Source #	Creates one-chunk immutable stream, may be memory inefficient.
Instance details Defined in SDP.Templates.AnyChunks Methods freeze :: mut e -> m (AnyChunks imm e) Source # unsafeFreeze :: mut e -> m (AnyChunks imm e) Source #
Thaw1 m imm mut e => Thaw m (imm e) (AnyChunks mut e) Source #	Creates one-chunk mutable stream, may be memory inefficient.
Instance details Defined in SDP.Templates.AnyChunks Methods thaw :: imm e -> m (AnyChunks mut e) Source # unsafeThaw :: imm e -> m (AnyChunks mut e) Source #
(BorderedM1 m rep Int e, SortM1 m rep e, SplitM1 m rep e, LinearM1 m rep e) => SortM m (AnyChunks rep e) e Source #
Instance details Defined in SDP.Templates.AnyChunks Methods sortedMBy :: (e -> e -> Bool) -> AnyChunks rep e -> m Bool Source # sortMBy :: Compare e -> AnyChunks rep e -> m () Source #
(BorderedM1 m rep Int e, SplitM1 m rep e) => SplitM m (AnyChunks rep e) e Source #
Instance details Defined in SDP.Templates.AnyChunks Methods takeM :: Int -> AnyChunks rep e -> m (AnyChunks rep e) Source # dropM :: Int -> AnyChunks rep e -> m (AnyChunks rep e) Source # keepM :: Int -> AnyChunks rep e -> m (AnyChunks rep e) Source # sansM :: Int -> AnyChunks rep e -> m (AnyChunks rep e) Source # splitM :: Int -> AnyChunks rep e -> m (AnyChunks rep e, AnyChunks rep e) Source # divideM :: Int -> AnyChunks rep e -> m (AnyChunks rep e, AnyChunks rep e) Source # splitsM :: Foldable f => f Int -> AnyChunks rep e -> m [AnyChunks rep e] Source # dividesM :: Foldable f => f Int -> AnyChunks rep e -> m [AnyChunks rep e] Source # partsM :: Foldable f => f Int -> AnyChunks rep e -> m [AnyChunks rep e] Source # chunksM :: Int -> AnyChunks rep e -> m [AnyChunks rep e] Source # eachM :: Int -> AnyChunks rep e -> m (AnyChunks rep e) Source # prefixM :: (e -> Bool) -> AnyChunks rep e -> m Int Source # suffixM :: (e -> Bool) -> AnyChunks rep e -> m Int Source # mprefix :: (e -> m Bool) -> AnyChunks rep e -> m Int Source # msuffix :: (e -> m Bool) -> AnyChunks rep e -> m Int Source #
(BorderedM1 m rep Int e, SplitM1 m rep e) => LinearM m (AnyChunks rep e) e Source #
Instance details Defined in SDP.Templates.AnyChunks Methods newNull :: m (AnyChunks rep e) Source # nowNull :: AnyChunks rep e -> m Bool Source # singleM :: e -> m (AnyChunks rep e) Source # getHead :: AnyChunks rep e -> m e Source # getLast :: AnyChunks rep e -> m e Source # prepend :: e -> AnyChunks rep e -> m (AnyChunks rep e) Source # append :: AnyChunks rep e -> e -> m (AnyChunks rep e) Source # newLinear :: [e] -> m (AnyChunks rep e) Source # newLinearN :: Int -> [e] -> m (AnyChunks rep e) Source # fromFoldableM :: Foldable f => f e -> m (AnyChunks rep e) Source # getLeft :: AnyChunks rep e -> m [e] Source # getRight :: AnyChunks rep e -> m [e] Source # (!#>) :: AnyChunks rep e -> Int -> m e Source # writeM :: AnyChunks rep e -> Int -> e -> m () Source # copied :: AnyChunks rep e -> m (AnyChunks rep e) Source # copied' :: AnyChunks rep e -> Int -> Int -> m (AnyChunks rep e) Source # reversed :: AnyChunks rep e -> m (AnyChunks rep e) Source # merged :: Foldable f => f (AnyChunks rep e) -> m (AnyChunks rep e) Source # filled :: Int -> e -> m (AnyChunks rep e) Source # copyTo :: AnyChunks rep e -> Int -> AnyChunks rep e -> Int -> Int -> m () Source # ofoldrM :: (Int -> e -> r -> m r) -> r -> AnyChunks rep e -> m r Source # ofoldlM :: (Int -> r -> e -> m r) -> r -> AnyChunks rep e -> m r Source # ofoldrM' :: (Int -> e -> r -> m r) -> r -> AnyChunks rep e -> m r Source # ofoldlM' :: (Int -> r -> e -> m r) -> r -> AnyChunks rep e -> m r Source # foldrM :: (e -> r -> m r) -> r -> AnyChunks rep e -> m r Source # foldlM :: (r -> e -> m r) -> r -> AnyChunks rep e -> m r Source # foldrM' :: (e -> r -> m r) -> r -> AnyChunks rep e -> m r Source # foldlM' :: (r -> e -> m r) -> r -> AnyChunks rep e -> m r Source # swapM :: AnyChunks rep e -> Int -> Int -> m () Source #
BorderedM1 m rep Int e => BorderedM m (AnyChunks rep e) Int Source #
Instance details Defined in SDP.Templates.AnyChunks Methods getBounds :: AnyChunks rep e -> m (Int, Int) Source # getLower :: AnyChunks rep e -> m Int Source # getUpper :: AnyChunks rep e -> m Int Source # getSizeOf :: AnyChunks rep e -> m Int Source # getSizesOf :: AnyChunks rep e -> m [Int] Source # nowIndexIn :: AnyChunks rep e -> Int -> m Bool Source # getOffsetOf :: AnyChunks rep e -> Int -> m Int Source # getIndexOf :: AnyChunks rep e -> Int -> m Int Source # getIndices :: AnyChunks rep e -> m [Int] Source #
(SplitM1 m rep e, MapM1 m rep Int e, BorderedM1 m rep Int e) => MapM m (AnyChunks rep e) Int e Source #
Instance details Defined in SDP.Templates.AnyChunks Methods newMap :: [(Int, e)] -> m (AnyChunks rep e) Source # newMap' :: e -> [(Int, e)] -> m (AnyChunks rep e) Source # getAssocs :: AnyChunks rep e -> m [(Int, e)] Source # (>!) :: AnyChunks rep e -> Int -> m e Source # (!>) :: AnyChunks rep e -> Int -> m e Source # (!?>) :: AnyChunks rep e -> Int -> m (Maybe e) Source # updateM :: AnyChunks rep e -> (Int -> e -> e) -> m (AnyChunks rep e) Source # overwrite :: AnyChunks rep e -> [(Int, e)] -> m (AnyChunks rep e) Source # memberM' :: AnyChunks rep e -> Int -> m Bool Source # getKeys :: AnyChunks rep e -> m [Int] Source # (.?) :: (e -> Bool) -> AnyChunks rep e -> m (Maybe Int) Source # (*?) :: (e -> Bool) -> AnyChunks rep e -> m [Int] Source # kfoldrM :: (Int -> e -> acc -> m acc) -> acc -> AnyChunks rep e -> m acc Source # kfoldlM :: (Int -> acc -> e -> m acc) -> acc -> AnyChunks rep e -> m acc Source # kfoldrM' :: (Int -> e -> acc -> m acc) -> acc -> AnyChunks rep e -> m acc Source # kfoldlM' :: (Int -> acc -> e -> m acc) -> acc -> AnyChunks rep e -> m acc Source #
(SplitM1 m rep e, IndexedM1 m rep Int e) => IndexedM m (AnyChunks rep e) Int e Source #
Instance details Defined in SDP.Templates.AnyChunks Methods fromAssocs :: (Int, Int) -> [(Int, e)] -> m (AnyChunks rep e) Source # fromAssocs' :: (Int, Int) -> e -> [(Int, e)] -> m (AnyChunks rep e) Source # writeM' :: AnyChunks rep e -> Int -> e -> m () Source # swapM' :: AnyChunks rep e -> Int -> Int -> m () Source # fromIndexed' :: Indexed v' j e => v' -> m (AnyChunks rep e) Source # fromIndexedM :: IndexedM m v' j e => v' -> m (AnyChunks rep e) Source # reshaped :: IndexedM m v' j e => (Int, Int) -> v' -> (Int -> j) -> m (AnyChunks rep e) Source # fromAccum :: (e -> e' -> e) -> AnyChunks rep e -> [(Int, e')] -> m (AnyChunks rep e) Source # updateM' :: AnyChunks rep e -> (e -> e) -> Int -> m () Source #
(LinearM1 m mut e, Freeze1 m mut imm e) => Freeze m (AnyChunks mut e) (imm e) Source #	Creates new immutable structure using `merged`.
Instance details Defined in SDP.Templates.AnyChunks Methods freeze :: AnyChunks mut e -> m (imm e) Source # unsafeFreeze :: AnyChunks mut e -> m (imm e) Source #
(Linear1 imm e, Thaw1 m imm mut e) => Thaw m (AnyChunks imm e) (mut e) Source #	Creates new local immutable structure and thaw it as fast, as possible.
Instance details Defined in SDP.Templates.AnyChunks Methods thaw :: AnyChunks imm e -> m (mut e) Source # unsafeThaw :: AnyChunks imm e -> m (mut e) Source #
Freeze1 m mut imm e => Freeze m (AnyChunks mut e) (AnyChunks imm e) Source #
Instance details Defined in SDP.Templates.AnyChunks Methods freeze :: AnyChunks mut e -> m (AnyChunks imm e) Source # unsafeFreeze :: AnyChunks mut e -> m (AnyChunks imm e) Source #
Thaw1 m imm mut e => Thaw m (AnyChunks imm e) (AnyChunks mut e) Source #
Instance details Defined in SDP.Templates.AnyChunks Methods thaw :: AnyChunks imm e -> m (AnyChunks mut e) Source # unsafeThaw :: AnyChunks imm e -> m (AnyChunks mut e) Source #
Functor rep => Functor (AnyChunks rep) Source #
Instance details Defined in SDP.Templates.AnyChunks Methods fmap :: (a -> b) -> AnyChunks rep a -> AnyChunks rep b # (<$) :: a -> AnyChunks rep b -> AnyChunks rep a #
Applicative rep => Applicative (AnyChunks rep) Source #
Instance details Defined in SDP.Templates.AnyChunks Methods pure :: a -> AnyChunks rep a # (<>) :: AnyChunks rep (a -> b) -> AnyChunks rep a -> AnyChunks rep b # liftA2 :: (a -> b -> c) -> AnyChunks rep a -> AnyChunks rep b -> AnyChunks rep c # (>) :: AnyChunks rep a -> AnyChunks rep b -> AnyChunks rep b # (<*) :: AnyChunks rep a -> AnyChunks rep b -> AnyChunks rep a #
Foldable rep => Foldable (AnyChunks rep) Source #
Instance details Defined in SDP.Templates.AnyChunks Methods fold :: Monoid m => AnyChunks rep m -> m # foldMap :: Monoid m => (a -> m) -> AnyChunks rep a -> m # foldMap' :: Monoid m => (a -> m) -> AnyChunks rep a -> m # foldr :: (a -> b -> b) -> b -> AnyChunks rep a -> b # foldr' :: (a -> b -> b) -> b -> AnyChunks rep a -> b # foldl :: (b -> a -> b) -> b -> AnyChunks rep a -> b # foldl' :: (b -> a -> b) -> b -> AnyChunks rep a -> b # foldr1 :: (a -> a -> a) -> AnyChunks rep a -> a # foldl1 :: (a -> a -> a) -> AnyChunks rep a -> a # toList :: AnyChunks rep a -> [a] # null :: AnyChunks rep a -> Bool # length :: AnyChunks rep a -> Int # elem :: Eq a => a -> AnyChunks rep a -> Bool # maximum :: Ord a => AnyChunks rep a -> a # minimum :: Ord a => AnyChunks rep a -> a # sum :: Num a => AnyChunks rep a -> a # product :: Num a => AnyChunks rep a -> a #
Traversable rep => Traversable (AnyChunks rep) Source #
Instance details Defined in SDP.Templates.AnyChunks Methods traverse :: Applicative f => (a -> f b) -> AnyChunks rep a -> f (AnyChunks rep b) # sequenceA :: Applicative f => AnyChunks rep (f a) -> f (AnyChunks rep a) # mapM :: Monad m => (a -> m b) -> AnyChunks rep a -> m (AnyChunks rep b) # sequence :: Monad m => AnyChunks rep (m a) -> m (AnyChunks rep a) #
Sort (Unlist e) e Source #
Instance details Defined in SDP.Unrolled.Unlist Methods sortedBy :: (e -> e -> Bool) -> Unlist e -> Bool Source # sortBy :: Compare e -> Unlist e -> Unlist e Source #
Unboxed e => Sort (Ublist e) e Source #
Instance details Defined in SDP.ByteList.Ublist Methods sortedBy :: (e -> e -> Bool) -> Ublist e -> Bool Source # sortBy :: Compare e -> Ublist e -> Ublist e Source #
Linear1 (AnyChunks rep) e => IsList (AnyChunks rep e) Source #
Instance details Defined in SDP.Templates.AnyChunks Associated Types type Item (AnyChunks rep e) # Methods fromList :: [Item (AnyChunks rep e)] -> AnyChunks rep e # fromListN :: Int -> [Item (AnyChunks rep e)] -> AnyChunks rep e # toList :: AnyChunks rep e -> [Item (AnyChunks rep e)] #
(Eq (rep e), Bordered1 rep Int e, Split1 rep e) => Eq (AnyChunks rep e) Source #
Instance details Defined in SDP.Templates.AnyChunks Methods (==) :: AnyChunks rep e -> AnyChunks rep e -> Bool # (/=) :: AnyChunks rep e -> AnyChunks rep e -> Bool #
(Typeable rep, Typeable e, Data (rep e)) => Data (AnyChunks rep e) Source #
Instance details Defined in SDP.Templates.AnyChunks Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnyChunks rep e -> c (AnyChunks rep e) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (AnyChunks rep e) # toConstr :: AnyChunks rep e -> Constr # dataTypeOf :: AnyChunks rep e -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (AnyChunks rep e)) # dataCast2 :: Typeable t => (forall d e0. (Data d, Data e0) => c (t d e0)) -> Maybe (c (AnyChunks rep e)) # gmapT :: (forall b. Data b => b -> b) -> AnyChunks rep e -> AnyChunks rep e # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnyChunks rep e -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnyChunks rep e -> r # gmapQ :: (forall d. Data d => d -> u) -> AnyChunks rep e -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AnyChunks rep e -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnyChunks rep e -> m (AnyChunks rep e) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnyChunks rep e -> m (AnyChunks rep e) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnyChunks rep e -> m (AnyChunks rep e) #
(Ord (rep e), Bordered1 rep Int e, Split1 rep e) => Ord (AnyChunks rep e) Source #
Instance details Defined in SDP.Templates.AnyChunks Methods compare :: AnyChunks rep e -> AnyChunks rep e -> Ordering # (<) :: AnyChunks rep e -> AnyChunks rep e -> Bool # (<=) :: AnyChunks rep e -> AnyChunks rep e -> Bool # (>) :: AnyChunks rep e -> AnyChunks rep e -> Bool # (>=) :: AnyChunks rep e -> AnyChunks rep e -> Bool # max :: AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e # min :: AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e #
(Indexed1 rep Int e, Read e) => Read (AnyChunks rep e) Source #
Instance details Defined in SDP.Templates.AnyChunks Methods readsPrec :: Int -> ReadS (AnyChunks rep e) # readList :: ReadS [AnyChunks rep e] # readPrec :: ReadPrec (AnyChunks rep e) # readListPrec :: ReadPrec [AnyChunks rep e] #
Indexed1 rep Int Char => Show (AnyChunks rep Char) Source #
Instance details Defined in SDP.Templates.AnyChunks Methods showsPrec :: Int -> AnyChunks rep Char -> ShowS # show :: AnyChunks rep Char -> String # showList :: [AnyChunks rep Char] -> ShowS #
(Indexed1 rep Int e, Show e) => Show (AnyChunks rep e) Source #
Instance details Defined in SDP.Templates.AnyChunks Methods showsPrec :: Int -> AnyChunks rep e -> ShowS # show :: AnyChunks rep e -> String # showList :: [AnyChunks rep e] -> ShowS #
Linear1 (AnyChunks rep) Char => IsString (AnyChunks rep Char) Source #
Instance details Defined in SDP.Templates.AnyChunks Methods fromString :: String -> AnyChunks rep Char #
Generic (AnyChunks rep e) Source #
Instance details Defined in SDP.Templates.AnyChunks Associated Types type Rep (AnyChunks rep e) :: Type -> Type # Methods from :: AnyChunks rep e -> Rep (AnyChunks rep e) x # to :: Rep (AnyChunks rep e) x -> AnyChunks rep e #
Semigroup (AnyChunks rep e) Source #
Instance details Defined in SDP.Templates.AnyChunks Methods (<>) :: AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e # sconcat :: NonEmpty (AnyChunks rep e) -> AnyChunks rep e # stimes :: Integral b => b -> AnyChunks rep e -> AnyChunks rep e #
Monoid (AnyChunks rep e) Source #
Instance details Defined in SDP.Templates.AnyChunks Methods mempty :: AnyChunks rep e # mappend :: AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e # mconcat :: [AnyChunks rep e] -> AnyChunks rep e #
Default (AnyChunks rep e) Source #
Instance details Defined in SDP.Templates.AnyChunks Methods def :: AnyChunks rep e #
Bordered1 rep Int e => Estimate (AnyChunks rep e) Source #
Instance details Defined in SDP.Templates.AnyChunks Methods (<.=>) :: AnyChunks rep e -> Int -> Ordering Source # (<==>) :: Compare (AnyChunks rep e) Source # (.==) :: AnyChunks rep e -> Int -> Bool Source # (./=) :: AnyChunks rep e -> Int -> Bool Source # (.<=) :: AnyChunks rep e -> Int -> Bool Source # (.>=) :: AnyChunks rep e -> Int -> Bool Source # (.<) :: AnyChunks rep e -> Int -> Bool Source # (.>) :: AnyChunks rep e -> Int -> Bool Source # (.<.) :: AnyChunks rep e -> AnyChunks rep e -> Bool Source # (.>.) :: AnyChunks rep e -> AnyChunks rep e -> Bool Source # (.<=.) :: AnyChunks rep e -> AnyChunks rep e -> Bool Source # (.>=.) :: AnyChunks rep e -> AnyChunks rep e -> Bool Source # (.==.) :: AnyChunks rep e -> AnyChunks rep e -> Bool Source # (./=.) :: AnyChunks rep e -> AnyChunks rep e -> Bool Source #
Nullable (AnyChunks rep e) Source #
Instance details Defined in SDP.Templates.AnyChunks Methods lzero :: AnyChunks rep e Source # isNull :: AnyChunks rep e -> Bool Source #
(Bordered1 rep Int e, Split1 rep e) => Split (AnyChunks rep e) e Source #
Instance details Defined in SDP.Templates.AnyChunks Methods take :: Int -> AnyChunks rep e -> AnyChunks rep e Source # drop :: Int -> AnyChunks rep e -> AnyChunks rep e Source # keep :: Int -> AnyChunks rep e -> AnyChunks rep e Source # sans :: Int -> AnyChunks rep e -> AnyChunks rep e Source # save :: Int -> AnyChunks rep e -> AnyChunks rep e Source # skip :: Int -> AnyChunks rep e -> AnyChunks rep e Source # split :: Int -> AnyChunks rep e -> (AnyChunks rep e, AnyChunks rep e) Source # divide :: Int -> AnyChunks rep e -> (AnyChunks rep e, AnyChunks rep e) Source # splits :: Foldable f => f Int -> AnyChunks rep e -> [AnyChunks rep e] Source # divides :: Foldable f => f Int -> AnyChunks rep e -> [AnyChunks rep e] Source # parts :: Foldable f => f Int -> AnyChunks rep e -> [AnyChunks rep e] Source # chunks :: Int -> AnyChunks rep e -> [AnyChunks rep e] Source # splitBy :: (e -> Bool) -> AnyChunks rep e -> (AnyChunks rep e, AnyChunks rep e) Source # divideBy :: (e -> Bool) -> AnyChunks rep e -> (AnyChunks rep e, AnyChunks rep e) Source # splitsBy :: (e -> Bool) -> AnyChunks rep e -> [AnyChunks rep e] Source # splitsOn :: AnyChunks rep e -> AnyChunks rep e -> [AnyChunks rep e] Source # replaceBy :: AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e Source # removeAll :: AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e Source # combo :: Equal e -> AnyChunks rep e -> Int Source # justifyL :: Int -> e -> AnyChunks rep e -> AnyChunks rep e Source # justifyR :: Int -> e -> AnyChunks rep e -> AnyChunks rep e Source # each :: Int -> AnyChunks rep e -> AnyChunks rep e Source # eachFrom :: Int -> Int -> AnyChunks rep e -> AnyChunks rep e Source # isPrefixOf :: AnyChunks rep e -> AnyChunks rep e -> Bool Source # isSuffixOf :: AnyChunks rep e -> AnyChunks rep e -> Bool Source # isInfixOf :: AnyChunks rep e -> AnyChunks rep e -> Bool Source # prefix :: (e -> Bool) -> AnyChunks rep e -> Int Source # suffix :: (e -> Bool) -> AnyChunks rep e -> Int Source # infixes :: AnyChunks rep e -> AnyChunks rep e -> [Int] Source # dropSide :: (e -> Bool) -> AnyChunks rep e -> AnyChunks rep e Source # takeWhile :: (e -> Bool) -> AnyChunks rep e -> AnyChunks rep e Source # dropWhile :: (e -> Bool) -> AnyChunks rep e -> AnyChunks rep e Source # takeEnd :: (e -> Bool) -> AnyChunks rep e -> AnyChunks rep e Source # dropEnd :: (e -> Bool) -> AnyChunks rep e -> AnyChunks rep e Source # spanl :: (e -> Bool) -> AnyChunks rep e -> (AnyChunks rep e, AnyChunks rep e) Source # breakl :: (e -> Bool) -> AnyChunks rep e -> (AnyChunks rep e, AnyChunks rep e) Source # spanr :: (e -> Bool) -> AnyChunks rep e -> (AnyChunks rep e, AnyChunks rep e) Source # breakr :: (e -> Bool) -> AnyChunks rep e -> (AnyChunks rep e, AnyChunks rep e) Source # selectWhile :: (e -> Maybe a) -> AnyChunks rep e -> [a] Source # selectEnd :: (e -> Maybe a) -> AnyChunks rep e -> [a] Source # extractWhile :: (e -> Maybe a) -> AnyChunks rep e -> ([a], AnyChunks rep e) Source # extractEnd :: (e -> Maybe a) -> AnyChunks rep e -> (AnyChunks rep e, [a]) Source # selectWhile' :: (t e ~ l, Split1 t a) => (e -> Maybe a) -> AnyChunks rep e -> t a Source # selectEnd' :: (t e ~ l, Split1 t a) => (e -> Maybe a) -> AnyChunks rep e -> t a Source # extractWhile' :: (t e ~ l, Split1 t a) => (e -> Maybe a) -> AnyChunks rep e -> (t a, AnyChunks rep e) Source # extractEnd' :: (t e ~ l, Split1 t a) => (e -> Maybe a) -> AnyChunks rep e -> (AnyChunks rep e, t a) Source #
(Bordered1 rep Int e, Linear1 rep e) => Linear (AnyChunks rep e) e Source #
Instance details Defined in SDP.Templates.AnyChunks Methods uncons :: AnyChunks rep e -> (e, AnyChunks rep e) Source # uncons' :: AnyChunks rep e -> Maybe (e, AnyChunks rep e) Source # toHead :: e -> AnyChunks rep e -> AnyChunks rep e Source # head :: AnyChunks rep e -> e Source # tail :: AnyChunks rep e -> AnyChunks rep e Source # unsnoc :: AnyChunks rep e -> (AnyChunks rep e, e) Source # unsnoc' :: AnyChunks rep e -> Maybe (AnyChunks rep e, e) Source # toLast :: AnyChunks rep e -> e -> AnyChunks rep e Source # init :: AnyChunks rep e -> AnyChunks rep e Source # last :: AnyChunks rep e -> e Source # single :: e -> AnyChunks rep e Source # (++) :: AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e Source # replicate :: Int -> e -> AnyChunks rep e Source # fromList :: [e] -> AnyChunks rep e Source # fromListN :: Int -> [e] -> AnyChunks rep e Source # listR :: AnyChunks rep e -> [e] Source # listL :: AnyChunks rep e -> [e] Source # fromFoldable :: Foldable f => f e -> AnyChunks rep e Source # (!^) :: AnyChunks rep e -> Int -> e Source # write :: AnyChunks rep e -> Int -> e -> AnyChunks rep e Source # concat :: Foldable f => f (AnyChunks rep e) -> AnyChunks rep e Source # concatMap :: Foldable f => (a -> AnyChunks rep e) -> f a -> AnyChunks rep e Source # intersperse :: e -> AnyChunks rep e -> AnyChunks rep e Source # filter :: (e -> Bool) -> AnyChunks rep e -> AnyChunks rep e Source # except :: (e -> Bool) -> AnyChunks rep e -> AnyChunks rep e Source # partition :: (e -> Bool) -> AnyChunks rep e -> (AnyChunks rep e, AnyChunks rep e) Source # partitions :: Foldable f => f (e -> Bool) -> AnyChunks rep e -> [AnyChunks rep e] Source # select :: (e -> Maybe a) -> AnyChunks rep e -> [a] Source # select' :: (t e ~ AnyChunks rep e, Linear1 t a) => (e -> Maybe a) -> AnyChunks rep e -> t a Source # extract :: (e -> Maybe a) -> AnyChunks rep e -> ([a], AnyChunks rep e) Source # extract' :: (t e ~ AnyChunks rep e, Linear1 t a) => (e -> Maybe a) -> AnyChunks rep e -> (t a, AnyChunks rep e) Source # selects :: Foldable f => f (e -> Maybe a) -> AnyChunks rep e -> ([[a]], AnyChunks rep e) Source # selects' :: (Foldable f, t e ~ AnyChunks rep e, Linear1 t a) => f (e -> Maybe a) -> AnyChunks rep e -> ([t a], AnyChunks rep e) Source # isSubseqOf :: AnyChunks rep e -> AnyChunks rep e -> Bool Source # reverse :: AnyChunks rep e -> AnyChunks rep e Source # force :: AnyChunks rep e -> AnyChunks rep e Source # subsequences :: AnyChunks rep e -> [AnyChunks rep e] Source # iterate :: Int -> (e -> e) -> e -> AnyChunks rep e Source # nub :: AnyChunks rep e -> AnyChunks rep e Source # nubBy :: Equal e -> AnyChunks rep e -> AnyChunks rep e Source # ofoldr :: (Int -> e -> b -> b) -> b -> AnyChunks rep e -> b Source # ofoldl :: (Int -> b -> e -> b) -> b -> AnyChunks rep e -> b Source # ofoldr' :: (Int -> e -> b -> b) -> b -> AnyChunks rep e -> b Source # ofoldl' :: (Int -> b -> e -> b) -> b -> AnyChunks rep e -> b Source # o_foldr :: (e -> b -> b) -> b -> AnyChunks rep e -> b Source # o_foldl :: (b -> e -> b) -> b -> AnyChunks rep e -> b Source # o_foldr' :: (e -> b -> b) -> b -> AnyChunks rep e -> b Source # o_foldl' :: (b -> e -> b) -> b -> AnyChunks rep e -> b Source #
Bordered1 rep Int e => Bordered (AnyChunks rep e) Int Source #
Instance details Defined in SDP.Templates.AnyChunks Methods bounds :: AnyChunks rep e -> (Int, Int) Source # lower :: AnyChunks rep e -> Int Source # upper :: AnyChunks rep e -> Int Source # sizeOf :: AnyChunks rep e -> Int Source # sizesOf :: AnyChunks rep e -> [Int] Source # indexIn :: AnyChunks rep e -> Int -> Bool Source # indices :: AnyChunks rep e -> [Int] Source # indexOf :: AnyChunks rep e -> Int -> Int Source # offsetOf :: AnyChunks rep e -> Int -> Int Source #
(Nullable (AnyChunks rep e), SetWith1 (AnyChunks rep) e, Ord e) => Set (AnyChunks rep e) e Source #
Instance details Defined in SDP.Templates.AnyChunks Methods set :: AnyChunks rep e -> AnyChunks rep e Source # insert :: e -> AnyChunks rep e -> AnyChunks rep e Source # delete :: e -> AnyChunks rep e -> AnyChunks rep e Source # (/\) :: AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e Source # (\/) :: AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e Source # (\\) :: AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e Source # (\^/) :: AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e Source # (/?\) :: AnyChunks rep e -> AnyChunks rep e -> Bool Source # (\?/) :: AnyChunks rep e -> AnyChunks rep e -> Bool Source # (\+/) :: AnyChunks rep e -> AnyChunks rep e -> Bool Source # intersections :: Foldable f => f (AnyChunks rep e) -> AnyChunks rep e Source # unions :: Foldable f => f (AnyChunks rep e) -> AnyChunks rep e Source # differences :: Foldable f => f (AnyChunks rep e) -> AnyChunks rep e Source # symdiffs :: Foldable f => f (AnyChunks rep e) -> AnyChunks rep e Source # member :: e -> AnyChunks rep e -> Bool Source # lookupLT :: e -> AnyChunks rep e -> Maybe e Source # lookupGT :: e -> AnyChunks rep e -> Maybe e Source # lookupLE :: e -> AnyChunks rep e -> Maybe e Source # lookupGE :: e -> AnyChunks rep e -> Maybe e Source #
(SetWith1 rep e, Linear1 rep e, Ord (rep e), Bordered1 rep Int e) => SetWith (AnyChunks rep e) e Source #
Instance details Defined in SDP.Templates.AnyChunks Methods setWith :: Compare e -> AnyChunks rep e -> AnyChunks rep e Source # groupSetWith :: Compare e -> (e -> e -> e) -> AnyChunks rep e -> AnyChunks rep e Source # insertWith :: Compare e -> e -> AnyChunks rep e -> AnyChunks rep e Source # deleteWith :: Compare e -> e -> AnyChunks rep e -> AnyChunks rep e Source # intersectionWith :: Compare e -> AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e Source # differenceWith :: Compare e -> AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e Source # symdiffWith :: Compare e -> AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e Source # unionWith :: Compare e -> AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e Source # intersectionsWith :: Foldable f => Compare e -> f (AnyChunks rep e) -> AnyChunks rep e Source # differencesWith :: Foldable f => Compare e -> f (AnyChunks rep e) -> AnyChunks rep e Source # unionsWith :: Foldable f => Compare e -> f (AnyChunks rep e) -> AnyChunks rep e Source # symdiffsWith :: Foldable f => Compare e -> f (AnyChunks rep e) -> AnyChunks rep e Source # isIntersectsWith :: Compare e -> AnyChunks rep e -> AnyChunks rep e -> Bool Source # isDisjointWith :: Compare e -> AnyChunks rep e -> AnyChunks rep e -> Bool Source # memberWith :: Compare e -> e -> AnyChunks rep e -> Bool Source # isSubsetWith :: Compare e -> AnyChunks rep e -> AnyChunks rep e -> Bool Source # subsets :: AnyChunks rep e -> [AnyChunks rep e] Source # lookupLTWith :: Compare e -> e -> AnyChunks rep e -> Maybe e Source # lookupGTWith :: Compare e -> e -> AnyChunks rep e -> Maybe e Source # lookupGEWith :: Compare e -> e -> AnyChunks rep e -> Maybe e Source # lookupLEWith :: Compare e -> e -> AnyChunks rep e -> Maybe e Source #
Linear1 (AnyChunks rep) e => Scan (AnyChunks rep e) e Source #
Instance details Defined in SDP.Templates.AnyChunks Methods scanl :: (b -> e -> b) -> b -> AnyChunks rep e -> [b] Source # scanl' :: (b -> e -> b) -> b -> AnyChunks rep e -> [b] Source # scanr :: (e -> b -> b) -> b -> AnyChunks rep e -> [b] Source # scanr' :: (e -> b -> b) -> b -> AnyChunks rep e -> [b] Source # scanl1 :: (e -> e -> e) -> AnyChunks rep e -> [e] Source # scanr1 :: (e -> e -> e) -> AnyChunks rep e -> [e] Source #
Indexed1 rep Int e => Map (AnyChunks rep e) Int e Source #
Instance details Defined in SDP.Templates.AnyChunks Methods assocs :: AnyChunks rep e -> [(Int, e)] Source # toMap :: [(Int, e)] -> AnyChunks rep e Source # toMap' :: e -> [(Int, e)] -> AnyChunks rep e Source # insert' :: Int -> e -> AnyChunks rep e -> AnyChunks rep e Source # delete' :: Int -> AnyChunks rep e -> AnyChunks rep e Source # member' :: Int -> AnyChunks rep e -> Bool Source # (//) :: AnyChunks rep e -> [(Int, e)] -> AnyChunks rep e Source # (.!) :: AnyChunks rep e -> Int -> e Source # (!) :: AnyChunks rep e -> Int -> e Source # (!?) :: AnyChunks rep e -> Int -> Maybe e Source # filter' :: (Int -> e -> Bool) -> AnyChunks rep e -> AnyChunks rep e Source # union' :: (e -> e -> e) -> AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e Source # difference' :: (e -> e -> Maybe e) -> AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e Source # intersection' :: (e -> e -> e) -> AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e Source # update :: AnyChunks rep e -> (Int -> e -> e) -> AnyChunks rep e Source # lookupLT' :: Int -> AnyChunks rep e -> Maybe (Int, e) Source # lookupGT' :: Int -> AnyChunks rep e -> Maybe (Int, e) Source # lookupLE' :: Int -> AnyChunks rep e -> Maybe (Int, e) Source # lookupGE' :: Int -> AnyChunks rep e -> Maybe (Int, e) Source # keys :: AnyChunks rep e -> [Int] Source # (.$) :: (e -> Bool) -> AnyChunks rep e -> Maybe Int Source # (*$) :: (e -> Bool) -> AnyChunks rep e -> [Int] Source # kfoldr :: (Int -> e -> b -> b) -> b -> AnyChunks rep e -> b Source # kfoldl :: (Int -> b -> e -> b) -> b -> AnyChunks rep e -> b Source # kfoldr' :: (Int -> e -> b -> b) -> b -> AnyChunks rep e -> b Source # kfoldl' :: (Int -> b -> e -> b) -> b -> AnyChunks rep e -> b Source #
Indexed1 rep Int e => Indexed (AnyChunks rep e) Int e Source #
Instance details Defined in SDP.Templates.AnyChunks Methods assoc :: (Int, Int) -> [(Int, e)] -> AnyChunks rep e Source # assoc' :: (Int, Int) -> e -> [(Int, e)] -> AnyChunks rep e Source # fromIndexed :: Indexed m j e => m -> AnyChunks rep e Source # write' :: AnyChunks rep e -> Int -> e -> AnyChunks rep e Source # accum :: (e -> e' -> e) -> AnyChunks rep e -> [(Int, e')] -> AnyChunks rep e Source # imap :: Map m j e => (Int, Int) -> m -> (Int -> j) -> AnyChunks rep e Source # update' :: AnyChunks rep e -> (e -> e) -> Int -> AnyChunks rep e Source # updates' :: AnyChunks rep e -> (Int -> e -> e) -> AnyChunks rep e Source #
type Rep (AnyChunks rep e) Source #
Instance details Defined in SDP.Templates.AnyChunks type Rep (AnyChunks rep e) = D1 ('MetaData "AnyChunks" "SDP.Templates.AnyChunks" "sdp-0.2-AH2T5KX1xmG8Wo3slp7kFT" 'True) (C1 ('MetaCons "AnyChunks" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [rep e])))
type Item (AnyChunks rep e) Source #
Instance details Defined in SDP.Templates.AnyChunks type Item (AnyChunks rep e) = e

fromChunks :: Nullable (rep e) => [rep e] -> AnyChunks rep e Source #

Construct immutable AnyChunks safely.

fromChunksM :: BorderedM1 m rep Int e => [rep e] -> m (AnyChunks rep e) Source #

Construct mutable AnyChunks safely.

toChunks :: AnyChunks rep e -> [rep e] Source #

Extract immutable AnyChunks chunks safely.