SDP.Templates.AnyChunks

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

Export

module SDP.IndexedM

module SDP.Scan

Chunk list

data AnyChunks rep e

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

Eq1 Unlist

Defined in SDP.Unrolled.Unlist

Methods

liftEq :: (a -> b -> Bool) -> Unlist a -> Unlist b -> Bool

Ord1 Unlist

Defined in SDP.Unrolled.Unlist

Methods

liftCompare :: (a -> b -> Ordering) -> Unlist a -> Unlist b -> Ordering

Zip Unlist

Defined in SDP.Unrolled.Unlist

Methods

zap :: Unlist (a -> b) -> Unlist a -> Unlist b

all2 :: (a -> b -> Bool) -> Unlist a -> Unlist b -> Bool

all3 :: (a -> b -> c -> Bool) -> Unlist a -> Unlist b -> Unlist c -> Bool

all4 :: (a -> b -> c -> d -> Bool) -> Unlist a -> Unlist b -> Unlist c -> Unlist d -> Bool

all5 :: (a -> b -> c -> d -> e -> Bool) -> Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist e -> Bool

all6 :: (a -> b -> c -> d -> e -> f -> Bool) -> Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist e -> Unlist f -> Bool

any2 :: (a -> b -> Bool) -> Unlist a -> Unlist b -> Bool

any3 :: (a -> b -> c -> Bool) -> Unlist a -> Unlist b -> Unlist c -> Bool

any4 :: (a -> b -> c -> d -> Bool) -> Unlist a -> Unlist b -> Unlist c -> Unlist d -> Bool

any5 :: (a -> b -> c -> d -> e -> Bool) -> Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist e -> Bool

any6 :: (a -> b -> c -> d -> e -> f -> Bool) -> Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist e -> Unlist f -> Bool

zip :: Unlist a -> Unlist b -> Unlist (a, b)

zip3 :: Unlist a -> Unlist b -> Unlist c -> Unlist (a, b, c)

zip4 :: Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist (a, b, c, d)

zip5 :: Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist e -> Unlist (a, b, c, d, e)

zip6 :: Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist e -> Unlist f -> Unlist (a, b, c, d, e, f)

zipWith :: (a -> b -> c) -> Unlist a -> Unlist b -> Unlist c

zipWith3 :: (a -> b -> c -> d) -> Unlist a -> Unlist b -> Unlist c -> Unlist d

zipWith4 :: (a -> b -> c -> d -> e) -> Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist e

zipWith5 :: (a -> b -> c -> d -> e -> f) -> Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist e -> Unlist f

zipWith6 :: (a -> b -> c -> d -> e -> f -> g) -> Unlist a -> Unlist b -> Unlist c -> Unlist d -> Unlist e -> Unlist f -> Unlist g

Freeze1 m mut imm e => Freeze m (mut e) (AnyChunks imm e)

Creates one-chunk immutable stream, may be memory inefficient.

Defined in SDP.Templates.AnyChunks

Methods

freeze :: mut e -> m (AnyChunks imm e)

unsafeFreeze :: mut e -> m (AnyChunks imm e)

Thaw1 m imm mut e => Thaw m (imm e) (AnyChunks mut e)

Creates one-chunk mutable stream, may be memory inefficient.

Defined in SDP.Templates.AnyChunks

Methods

thaw :: imm e -> m (AnyChunks mut e)

unsafeThaw :: imm e -> m (AnyChunks mut e)

(BorderedM1 m rep Int e, SortM1 m rep e, SplitM1 m rep e, LinearM1 m rep e) => SortM m (AnyChunks rep e) e

Defined in SDP.Templates.AnyChunks

Methods

sortedMBy :: (e -> e -> Bool) -> AnyChunks rep e -> m Bool

sortMBy :: Compare e -> AnyChunks rep e -> m ()

(BorderedM1 m rep Int e, SplitM1 m rep e) => SplitM m (AnyChunks rep e) e

Defined in SDP.Templates.AnyChunks

Methods

takeM :: Int -> AnyChunks rep e -> m (AnyChunks rep e)

dropM :: Int -> AnyChunks rep e -> m (AnyChunks rep e)

keepM :: Int -> AnyChunks rep e -> m (AnyChunks rep e)

sansM :: Int -> AnyChunks rep e -> m (AnyChunks rep e)

splitM :: Int -> AnyChunks rep e -> m (AnyChunks rep e, AnyChunks rep e)

divideM :: Int -> AnyChunks rep e -> m (AnyChunks rep e, AnyChunks rep e)

splitsM :: Foldable f => f Int -> AnyChunks rep e -> m [AnyChunks rep e]

dividesM :: Foldable f => f Int -> AnyChunks rep e -> m [AnyChunks rep e]

partsM :: Foldable f => f Int -> AnyChunks rep e -> m [AnyChunks rep e]

chunksM :: Int -> AnyChunks rep e -> m [AnyChunks rep e]

eachM :: Int -> AnyChunks rep e -> m (AnyChunks rep e)

prefixM :: (e -> Bool) -> AnyChunks rep e -> m Int

suffixM :: (e -> Bool) -> AnyChunks rep e -> m Int

mprefix :: (e -> m Bool) -> AnyChunks rep e -> m Int

msuffix :: (e -> m Bool) -> AnyChunks rep e -> m Int

(BorderedM1 m rep Int e, SplitM1 m rep e) => LinearM m (AnyChunks rep e) e

Defined in SDP.Templates.AnyChunks

Methods

newNull :: m (AnyChunks rep e)

nowNull :: AnyChunks rep e -> m Bool

singleM :: e -> m (AnyChunks rep e)

getHead :: AnyChunks rep e -> m e

getLast :: AnyChunks rep e -> m e

prepend :: e -> AnyChunks rep e -> m (AnyChunks rep e)

append :: AnyChunks rep e -> e -> m (AnyChunks rep e)

newLinear :: [e] -> m (AnyChunks rep e)

newLinearN :: Int -> [e] -> m (AnyChunks rep e)

fromFoldableM :: Foldable f => f e -> m (AnyChunks rep e)

getLeft :: AnyChunks rep e -> m [e]

getRight :: AnyChunks rep e -> m [e]

(!#>) :: AnyChunks rep e -> Int -> m e

writeM :: AnyChunks rep e -> Int -> e -> m ()

copied :: AnyChunks rep e -> m (AnyChunks rep e)

copied' :: AnyChunks rep e -> Int -> Int -> m (AnyChunks rep e)

reversed :: AnyChunks rep e -> m (AnyChunks rep e)

reversed' :: AnyChunks rep e -> m ()

merged :: Foldable f => f (AnyChunks rep e) -> m (AnyChunks rep e)

filled :: Int -> e -> m (AnyChunks rep e)

removed :: Int -> AnyChunks rep e -> m (AnyChunks rep e)

lshiftM :: AnyChunks rep e -> Int -> Int -> m ()

copyTo :: AnyChunks rep e -> Int -> AnyChunks rep e -> Int -> Int -> m ()

ofoldrM :: (Int -> e -> r -> m r) -> r -> AnyChunks rep e -> m r

ofoldlM :: (Int -> r -> e -> m r) -> r -> AnyChunks rep e -> m r

ofoldrM' :: (Int -> e -> r -> m r) -> r -> AnyChunks rep e -> m r

ofoldlM' :: (Int -> r -> e -> m r) -> r -> AnyChunks rep e -> m r

foldrM :: (e -> r -> m r) -> r -> AnyChunks rep e -> m r

foldlM :: (r -> e -> m r) -> r -> AnyChunks rep e -> m r

foldrM' :: (e -> r -> m r) -> r -> AnyChunks rep e -> m r

foldlM' :: (r -> e -> m r) -> r -> AnyChunks rep e -> m r

foldrM1 :: (e -> e -> m e) -> AnyChunks rep e -> m e

foldlM1 :: (e -> e -> m e) -> AnyChunks rep e -> m e

swapM :: AnyChunks rep e -> Int -> Int -> m ()

BorderedM1 m rep Int e => BorderedM m (AnyChunks rep e) Int

Defined in SDP.Templates.AnyChunks

Methods

getBounds :: AnyChunks rep e -> m (Int, Int)

getLower :: AnyChunks rep e -> m Int

getUpper :: AnyChunks rep e -> m Int

getSizeOf :: AnyChunks rep e -> m Int

getSizesOf :: AnyChunks rep e -> m [Int]

nowIndexIn :: AnyChunks rep e -> Int -> m Bool

getOffsetOf :: AnyChunks rep e -> Int -> m Int

getIndexOf :: AnyChunks rep e -> Int -> m Int

getIndices :: AnyChunks rep e -> m [Int]

(SplitM1 m rep e, MapM1 m rep Int e, BorderedM1 m rep Int e) => MapM m (AnyChunks rep e) Int e

Defined in SDP.Templates.AnyChunks

Methods

newMap :: [(Int, e)] -> m (AnyChunks rep e)

newMap' :: e -> [(Int, e)] -> m (AnyChunks rep e)

getAssocs :: AnyChunks rep e -> m [(Int, e)]

(>!) :: AnyChunks rep e -> Int -> m e

(!>) :: AnyChunks rep e -> Int -> m e

(!?>) :: AnyChunks rep e -> Int -> m (Maybe e)

updateM :: AnyChunks rep e -> (Int -> e -> e) -> m (AnyChunks rep e)

overwrite :: AnyChunks rep e -> [(Int, e)] -> m (AnyChunks rep e)

memberM' :: AnyChunks rep e -> Int -> m Bool

getKeys :: AnyChunks rep e -> m [Int]

(.?) :: (e -> Bool) -> AnyChunks rep e -> m (Maybe Int)

(*?) :: (e -> Bool) -> AnyChunks rep e -> m [Int]

kfoldrM :: (Int -> e -> acc -> m acc) -> acc -> AnyChunks rep e -> m acc

kfoldlM :: (Int -> acc -> e -> m acc) -> acc -> AnyChunks rep e -> m acc

kfoldrM' :: (Int -> e -> acc -> m acc) -> acc -> AnyChunks rep e -> m acc

kfoldlM' :: (Int -> acc -> e -> m acc) -> acc -> AnyChunks rep e -> m acc

(SplitM1 m rep e, IndexedM1 m rep Int e) => IndexedM m (AnyChunks rep e) Int e

Defined in SDP.Templates.AnyChunks

Methods

fromAssocs :: (Int, Int) -> [(Int, e)] -> m (AnyChunks rep e)

fromAssocs' :: (Int, Int) -> e -> [(Int, e)] -> m (AnyChunks rep e)

writeM' :: AnyChunks rep e -> Int -> e -> m ()

swapM' :: AnyChunks rep e -> Int -> Int -> m ()

fromIndexed' :: Indexed v' j e => v' -> m (AnyChunks rep e)

fromIndexedM :: IndexedM m v' j e => v' -> m (AnyChunks rep e)

reshaped :: IndexedM m v' j e => (Int, Int) -> v' -> (Int -> j) -> m (AnyChunks rep e)

fromAccum :: (e -> e' -> e) -> AnyChunks rep e -> [(Int, e')] -> m (AnyChunks rep e)

updateM' :: AnyChunks rep e -> (e -> e) -> Int -> m ()

(LinearM1 m mut e, Freeze1 m mut imm e) => Freeze m (AnyChunks mut e) (imm e)

Creates new immutable structure using merged.

Defined in SDP.Templates.AnyChunks

Methods

freeze :: AnyChunks mut e -> m (imm e)

unsafeFreeze :: AnyChunks mut e -> m (imm e)

(Linear1 imm e, Thaw1 m imm mut e) => Thaw m (AnyChunks imm e) (mut e)

Creates new local immutable structure and thaw it unsafely.

Defined in SDP.Templates.AnyChunks

Methods

thaw :: AnyChunks imm e -> m (mut e)

unsafeThaw :: AnyChunks imm e -> m (mut e)

Freeze1 m mut imm e => Freeze m (AnyChunks mut e) (AnyChunks imm e)

Defined in SDP.Templates.AnyChunks

Methods

freeze :: AnyChunks mut e -> m (AnyChunks imm e)

unsafeFreeze :: AnyChunks mut e -> m (AnyChunks imm e)

Thaw1 m imm mut e => Thaw m (AnyChunks imm e) (AnyChunks mut e)

Defined in SDP.Templates.AnyChunks

Methods

thaw :: AnyChunks imm e -> m (AnyChunks mut e)

unsafeThaw :: AnyChunks imm e -> m (AnyChunks mut e)

Functor rep => Functor (AnyChunks rep)

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)

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)

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)

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

Defined in SDP.Unrolled.Unlist

Methods

sortedBy :: (e -> e -> Bool) -> Unlist e -> Bool

sortBy :: Compare e -> Unlist e -> Unlist e

Unboxed e => Sort (Ublist e) e

Defined in SDP.ByteList.Ublist

Methods

sortedBy :: (e -> e -> Bool) -> Ublist e -> Bool

sortBy :: Compare e -> Ublist e -> Ublist e

Linear1 (AnyChunks rep) e => IsList (AnyChunks rep e)

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)

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)

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)

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)

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)

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)

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)

Defined in SDP.Templates.AnyChunks

Methods

fromString :: String -> AnyChunks rep Char

Generic (AnyChunks rep e)

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)

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)

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)

Defined in SDP.Templates.AnyChunks

Methods

def :: AnyChunks rep e

Bordered1 rep Int e => Estimate (AnyChunks rep e)

Defined in SDP.Templates.AnyChunks

Methods

(<.=>) :: AnyChunks rep e -> Int -> Ordering

(<==>) :: Compare (AnyChunks rep e)

(.==) :: AnyChunks rep e -> Int -> Bool

(./=) :: AnyChunks rep e -> Int -> Bool

(.<=) :: AnyChunks rep e -> Int -> Bool

(.>=) :: AnyChunks rep e -> Int -> Bool

(.<) :: AnyChunks rep e -> Int -> Bool

(.>) :: AnyChunks rep e -> Int -> Bool

(.<.) :: 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

(.==.) :: AnyChunks rep e -> AnyChunks rep e -> Bool

(./=.) :: AnyChunks rep e -> AnyChunks rep e -> Bool

Nullable (AnyChunks rep e)

Defined in SDP.Templates.AnyChunks

Methods

lzero :: AnyChunks rep e

isNull :: AnyChunks rep e -> Bool

(Bordered1 rep Int e, Split1 rep e) => Split (AnyChunks rep e) e

Defined in SDP.Templates.AnyChunks

Methods

take :: Int -> AnyChunks rep e -> AnyChunks rep e

drop :: Int -> AnyChunks rep e -> AnyChunks rep e

keep :: Int -> AnyChunks rep e -> AnyChunks rep e

sans :: Int -> AnyChunks rep e -> AnyChunks rep e

save :: Int -> AnyChunks rep e -> AnyChunks rep e

skip :: Int -> AnyChunks rep e -> AnyChunks rep e

split :: Int -> AnyChunks rep e -> (AnyChunks rep e, AnyChunks rep e)

divide :: Int -> AnyChunks rep e -> (AnyChunks rep e, AnyChunks rep e)

splits :: Foldable f => f Int -> AnyChunks rep e -> [AnyChunks rep e]

divides :: Foldable f => f Int -> AnyChunks rep e -> [AnyChunks rep e]

parts :: Foldable f => f Int -> AnyChunks rep e -> [AnyChunks rep e]

chunks :: Int -> AnyChunks rep e -> [AnyChunks rep e]

splitBy :: (e -> Bool) -> AnyChunks rep e -> (AnyChunks rep e, AnyChunks rep e)

divideBy :: (e -> Bool) -> AnyChunks rep e -> (AnyChunks rep e, AnyChunks rep e)

splitsBy :: (e -> Bool) -> AnyChunks rep e -> [AnyChunks rep e]

splitsOn :: AnyChunks rep e -> AnyChunks rep e -> [AnyChunks rep e]

replaceBy :: AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e

removeAll :: AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e

combo :: Equal e -> AnyChunks rep e -> Int

justifyL :: Int -> e -> AnyChunks rep e -> AnyChunks rep e

justifyR :: Int -> e -> AnyChunks rep e -> AnyChunks rep e

each :: Int -> AnyChunks rep e -> AnyChunks rep e

eachFrom :: Int -> Int -> AnyChunks rep e -> AnyChunks rep e

isPrefixOf :: AnyChunks rep e -> AnyChunks rep e -> Bool

isSuffixOf :: AnyChunks rep e -> AnyChunks rep e -> Bool

isInfixOf :: AnyChunks rep e -> AnyChunks rep e -> Bool

prefix :: (e -> Bool) -> AnyChunks rep e -> Int

suffix :: (e -> Bool) -> AnyChunks rep e -> Int

infixes :: AnyChunks rep e -> AnyChunks rep e -> [Int]

dropSide :: (e -> Bool) -> AnyChunks rep e -> AnyChunks rep e

takeWhile :: (e -> Bool) -> AnyChunks rep e -> AnyChunks rep e

dropWhile :: (e -> Bool) -> AnyChunks rep e -> AnyChunks rep e

takeEnd :: (e -> Bool) -> AnyChunks rep e -> AnyChunks rep e

dropEnd :: (e -> Bool) -> AnyChunks rep e -> AnyChunks rep e

spanl :: (e -> Bool) -> AnyChunks rep e -> (AnyChunks rep e, AnyChunks rep e)

breakl :: (e -> Bool) -> AnyChunks rep e -> (AnyChunks rep e, AnyChunks rep e)

spanr :: (e -> Bool) -> AnyChunks rep e -> (AnyChunks rep e, AnyChunks rep e)

breakr :: (e -> Bool) -> AnyChunks rep e -> (AnyChunks rep e, AnyChunks rep e)

selectWhile :: (e -> Maybe a) -> AnyChunks rep e -> [a]

selectEnd :: (e -> Maybe a) -> AnyChunks rep e -> [a]

extractWhile :: (e -> Maybe a) -> AnyChunks rep e -> ([a], AnyChunks rep e)

extractEnd :: (e -> Maybe a) -> AnyChunks rep e -> (AnyChunks rep e, [a])

selectWhile' :: (t e ~ l, Split1 t a) => (e -> Maybe a) -> AnyChunks rep e -> t a

selectEnd' :: (t e ~ l, Split1 t a) => (e -> Maybe a) -> AnyChunks rep e -> t a

extractWhile' :: (t e ~ l, Split1 t a) => (e -> Maybe a) -> AnyChunks rep e -> (t a, AnyChunks rep e)

extractEnd' :: (t e ~ l, Split1 t a) => (e -> Maybe a) -> AnyChunks rep e -> (AnyChunks rep e, t a)

(Bordered1 rep Int e, Linear1 rep e) => Linear (AnyChunks rep e) e

Defined in SDP.Templates.AnyChunks

Methods

uncons :: AnyChunks rep e -> (e, AnyChunks rep e)

uncons' :: AnyChunks rep e -> Maybe (e, AnyChunks rep e)

toHead :: e -> AnyChunks rep e -> AnyChunks rep e

head :: AnyChunks rep e -> e

tail :: AnyChunks rep e -> AnyChunks rep e

unsnoc :: AnyChunks rep e -> (AnyChunks rep e, e)

unsnoc' :: AnyChunks rep e -> Maybe (AnyChunks rep e, e)

toLast :: AnyChunks rep e -> e -> AnyChunks rep e

init :: AnyChunks rep e -> AnyChunks rep e

last :: AnyChunks rep e -> e

single :: e -> AnyChunks rep e

(++) :: AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e

replicate :: Int -> e -> AnyChunks rep e

fromList :: [e] -> AnyChunks rep e

fromListN :: Int -> [e] -> AnyChunks rep e

listR :: AnyChunks rep e -> [e]

listL :: AnyChunks rep e -> [e]

fromFoldable :: Foldable f => f e -> AnyChunks rep e

(!^) :: AnyChunks rep e -> Int -> e

write :: AnyChunks rep e -> Int -> e -> AnyChunks rep e

concat :: Foldable f => f (AnyChunks rep e) -> AnyChunks rep e

concatMap :: Foldable f => (a -> AnyChunks rep e) -> f a -> AnyChunks rep e

intersperse :: e -> AnyChunks rep e -> AnyChunks rep e

filter :: (e -> Bool) -> AnyChunks rep e -> AnyChunks rep e

except :: (e -> Bool) -> AnyChunks rep e -> AnyChunks rep e

partition :: (e -> Bool) -> AnyChunks rep e -> (AnyChunks rep e, AnyChunks rep e)

partitions :: Foldable f => f (e -> Bool) -> AnyChunks rep e -> [AnyChunks rep e]

select :: (e -> Maybe a) -> AnyChunks rep e -> [a]

select' :: (t e ~ AnyChunks rep e, Linear1 t a) => (e -> Maybe a) -> AnyChunks rep e -> t a

extract :: (e -> Maybe a) -> AnyChunks rep e -> ([a], AnyChunks rep e)

extract' :: (t e ~ AnyChunks rep e, Linear1 t a) => (e -> Maybe a) -> AnyChunks rep e -> (t a, AnyChunks rep e)

selects :: Foldable f => f (e -> Maybe a) -> AnyChunks rep e -> ([[a]], AnyChunks rep e)

selects' :: (Foldable f, t e ~ AnyChunks rep e, Linear1 t a) => f (e -> Maybe a) -> AnyChunks rep e -> ([t a], AnyChunks rep e)

isSubseqOf :: AnyChunks rep e -> AnyChunks rep e -> Bool

reverse :: AnyChunks rep e -> AnyChunks rep e

force :: AnyChunks rep e -> AnyChunks rep e

before :: AnyChunks rep e -> Int -> e -> AnyChunks rep e

after :: AnyChunks rep e -> Int -> e -> AnyChunks rep e

remove :: Int -> AnyChunks rep e -> AnyChunks rep e

subsequences :: AnyChunks rep e -> [AnyChunks rep e]

iterate :: Int -> (e -> e) -> e -> AnyChunks rep e

nub :: AnyChunks rep e -> AnyChunks rep e

nubBy :: Equal e -> AnyChunks rep e -> AnyChunks rep e

ofoldr :: (Int -> e -> b -> b) -> b -> AnyChunks rep e -> b

ofoldl :: (Int -> b -> e -> b) -> b -> AnyChunks rep e -> b

ofoldr' :: (Int -> e -> b -> b) -> b -> AnyChunks rep e -> b

ofoldl' :: (Int -> b -> e -> b) -> b -> AnyChunks rep e -> b

o_foldr :: (e -> b -> b) -> b -> AnyChunks rep e -> b

o_foldl :: (b -> e -> b) -> b -> AnyChunks rep e -> b

o_foldr' :: (e -> b -> b) -> b -> AnyChunks rep e -> b

o_foldl' :: (b -> e -> b) -> b -> AnyChunks rep e -> b

o_foldr1 :: (e -> e -> e) -> AnyChunks rep e -> e

o_foldl1 :: (e -> e -> e) -> AnyChunks rep e -> e

o_foldr1' :: (e -> e -> e) -> AnyChunks rep e -> e

o_foldl1' :: (e -> e -> e) -> AnyChunks rep e -> e

Bordered1 rep Int e => Bordered (AnyChunks rep e) Int

Defined in SDP.Templates.AnyChunks

Methods

bounds :: AnyChunks rep e -> (Int, Int)

lower :: AnyChunks rep e -> Int

upper :: AnyChunks rep e -> Int

sizeOf :: AnyChunks rep e -> Int

sizesOf :: AnyChunks rep e -> [Int]

indexIn :: AnyChunks rep e -> Int -> Bool

indices :: AnyChunks rep e -> [Int]

indexOf :: AnyChunks rep e -> Int -> Int

offsetOf :: AnyChunks rep e -> Int -> Int

(Nullable (AnyChunks rep e), SetWith1 (AnyChunks rep) e, Ord e) => Set (AnyChunks rep e) e

Defined in SDP.Templates.AnyChunks

Methods

set :: AnyChunks rep e -> AnyChunks rep e

insert :: e -> AnyChunks rep e -> AnyChunks rep e

delete :: e -> AnyChunks rep e -> AnyChunks rep e

(/\) :: AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e

(\/) :: AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e

(\\) :: AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e

(\^/) :: AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e

(/?\) :: AnyChunks rep e -> AnyChunks rep e -> Bool

(\?/) :: AnyChunks rep e -> AnyChunks rep e -> Bool

(\+/) :: AnyChunks rep e -> AnyChunks rep e -> Bool

intersections :: Foldable f => f (AnyChunks rep e) -> AnyChunks rep e

unions :: Foldable f => f (AnyChunks rep e) -> AnyChunks rep e

differences :: Foldable f => f (AnyChunks rep e) -> AnyChunks rep e

symdiffs :: Foldable f => f (AnyChunks rep e) -> AnyChunks rep e

member :: e -> AnyChunks rep e -> Bool

lookupLT :: e -> AnyChunks rep e -> Maybe e

lookupGT :: e -> AnyChunks rep e -> Maybe e

lookupLE :: e -> AnyChunks rep e -> Maybe e

lookupGE :: e -> AnyChunks rep e -> Maybe e

(SetWith1 rep e, Linear1 rep e, Ord (rep e), Bordered1 rep Int e) => SetWith (AnyChunks rep e) e

Defined in SDP.Templates.AnyChunks

Methods

setWith :: Compare e -> AnyChunks rep e -> AnyChunks rep e

groupSetWith :: Compare e -> (e -> e -> e) -> AnyChunks rep e -> AnyChunks rep e

insertWith :: Compare e -> e -> AnyChunks rep e -> AnyChunks rep e

deleteWith :: Compare e -> e -> AnyChunks rep e -> AnyChunks rep e

intersectionWith :: Compare e -> AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e

differenceWith :: Compare e -> AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e

symdiffWith :: Compare e -> AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e

unionWith :: Compare e -> AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e

intersectionsWith :: Foldable f => Compare e -> f (AnyChunks rep e) -> AnyChunks rep e

differencesWith :: Foldable f => Compare e -> f (AnyChunks rep e) -> AnyChunks rep e

unionsWith :: Foldable f => Compare e -> f (AnyChunks rep e) -> AnyChunks rep e

symdiffsWith :: Foldable f => Compare e -> f (AnyChunks rep e) -> AnyChunks rep e

isIntersectsWith :: Compare e -> AnyChunks rep e -> AnyChunks rep e -> Bool

isDisjointWith :: Compare e -> AnyChunks rep e -> AnyChunks rep e -> Bool

memberWith :: Compare e -> e -> AnyChunks rep e -> Bool

isSubsetWith :: Compare e -> AnyChunks rep e -> AnyChunks rep e -> Bool

subsets :: AnyChunks rep e -> [AnyChunks rep e]

lookupLTWith :: Compare e -> e -> AnyChunks rep e -> Maybe e

lookupGTWith :: Compare e -> e -> AnyChunks rep e -> Maybe e

lookupGEWith :: Compare e -> e -> AnyChunks rep e -> Maybe e

lookupLEWith :: Compare e -> e -> AnyChunks rep e -> Maybe e

Linear1 (AnyChunks rep) e => Scan (AnyChunks rep e) e

Defined in SDP.Templates.AnyChunks

Methods

scanl :: (b -> e -> b) -> b -> AnyChunks rep e -> [b]

scanl' :: (b -> e -> b) -> b -> AnyChunks rep e -> [b]

scanr :: (e -> b -> b) -> b -> AnyChunks rep e -> [b]

scanr' :: (e -> b -> b) -> b -> AnyChunks rep e -> [b]

scanl1 :: (e -> e -> e) -> AnyChunks rep e -> [e]

scanr1 :: (e -> e -> e) -> AnyChunks rep e -> [e]

Indexed1 rep Int e => Map (AnyChunks rep e) Int e

Defined in SDP.Templates.AnyChunks

Methods

assocs :: AnyChunks rep e -> [(Int, e)]

toMap :: [(Int, e)] -> AnyChunks rep e

toMap' :: e -> [(Int, e)] -> AnyChunks rep e

insert' :: Int -> e -> AnyChunks rep e -> AnyChunks rep e

delete' :: Int -> AnyChunks rep e -> AnyChunks rep e

member' :: Int -> AnyChunks rep e -> Bool

(//) :: AnyChunks rep e -> [(Int, e)] -> AnyChunks rep e

(.!) :: AnyChunks rep e -> Int -> e

(!) :: AnyChunks rep e -> Int -> e

(!?) :: AnyChunks rep e -> Int -> Maybe e

filter' :: (Int -> e -> Bool) -> AnyChunks rep e -> AnyChunks rep e

union' :: (e -> e -> e) -> AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e

difference' :: (e -> e -> Maybe e) -> AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e

intersection' :: (e -> e -> e) -> AnyChunks rep e -> AnyChunks rep e -> AnyChunks rep e

update :: AnyChunks rep e -> (Int -> e -> e) -> AnyChunks rep e

lookupLT' :: Int -> AnyChunks rep e -> Maybe (Int, e)

lookupGT' :: Int -> AnyChunks rep e -> Maybe (Int, e)

lookupLE' :: Int -> AnyChunks rep e -> Maybe (Int, e)

lookupGE' :: Int -> AnyChunks rep e -> Maybe (Int, e)

keys :: AnyChunks rep e -> [Int]

(.$) :: (e -> Bool) -> AnyChunks rep e -> Maybe Int

(*$) :: (e -> Bool) -> AnyChunks rep e -> [Int]

kfoldr :: (Int -> e -> b -> b) -> b -> AnyChunks rep e -> b

kfoldl :: (Int -> b -> e -> b) -> b -> AnyChunks rep e -> b

kfoldr' :: (Int -> e -> b -> b) -> b -> AnyChunks rep e -> b

kfoldl' :: (Int -> b -> e -> b) -> b -> AnyChunks rep e -> b

Indexed1 rep Int e => Indexed (AnyChunks rep e) Int e

Defined in SDP.Templates.AnyChunks

Methods

assoc :: (Int, Int) -> [(Int, e)] -> AnyChunks rep e

assoc' :: (Int, Int) -> e -> [(Int, e)] -> AnyChunks rep e

fromIndexed :: Indexed m j e => m -> AnyChunks rep e

write' :: AnyChunks rep e -> Int -> e -> AnyChunks rep e

update' :: AnyChunks rep e -> (e -> e) -> Int -> AnyChunks rep e

updates' :: AnyChunks rep e -> (Int -> e -> e) -> AnyChunks rep e

accum :: (e -> e' -> e) -> AnyChunks rep e -> [(Int, e')] -> AnyChunks rep e

imap :: Map m j e => (Int, Int) -> m -> (Int -> j) -> AnyChunks rep e

type Rep (AnyChunks rep e)

Defined in SDP.Templates.AnyChunks

type Rep (AnyChunks rep e) = D1 ('MetaData "AnyChunks" "SDP.Templates.AnyChunks" "sdp-0.2.1.1-30l9HGsAK1WKWb7qUJE1bh" 'True) (C1 ('MetaCons "AnyChunks" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [rep e])))

type Item (AnyChunks rep e)

Defined in SDP.Templates.AnyChunks

type Item (AnyChunks rep e) = e

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

Construct immutable AnyChunks safely.

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

Construct mutable AnyChunks safely.

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

Extract immutable AnyChunks chunks safely.