SDP.Templates.AnyBorder

SDP.Plate.AnyBorder provides AnyBorder - template of generalized by index type structure, based on Int-indexed primitive.

Export

module SDP.IndexedM

module SDP.Shaped

module SDP.Sort

module SDP.Scan

Border template

data AnyBorder rep i e

AnyBorder is template, that appends arbitrary bounds to any structure.

• Eq, Ord, Eq1 and Ord1 instances ingores bounds.
• Thaw and Freeze instances for AnyBorder rep e inherit rep e behavior.

Constructors

AnyBorder !i !i !(rep e)

Instances

(Index i, Freeze m mut (rep e), Bordered1 rep Int e) => Freeze m mut (AnyBorder rep i e)

Defined in SDP.Templates.AnyBorder

Methods

freeze :: mut -> m (AnyBorder rep i e)

unsafeFreeze :: mut -> m (AnyBorder rep i e)

(Index i, Thaw m imm (rep e), Bordered1 rep Int e) => Thaw m imm (AnyBorder rep i e)

Defined in SDP.Templates.AnyBorder

Methods

thaw :: imm -> m (AnyBorder rep i e)

unsafeThaw :: imm -> m (AnyBorder rep i e)

(Index i, SortM1 m rep e) => SortM m (AnyBorder rep i e) e

Defined in SDP.Templates.AnyBorder

Methods

sortedMBy :: (e -> e -> Bool) -> AnyBorder rep i e -> m Bool

sortMBy :: Compare e -> AnyBorder rep i e -> m ()

(Index i, BorderedM1 m rep Int e, SplitM1 m rep e) => SplitM m (AnyBorder rep i e) e

Defined in SDP.Templates.AnyBorder

Methods

takeM :: Int -> AnyBorder rep i e -> m (AnyBorder rep i e)

dropM :: Int -> AnyBorder rep i e -> m (AnyBorder rep i e)

keepM :: Int -> AnyBorder rep i e -> m (AnyBorder rep i e)

sansM :: Int -> AnyBorder rep i e -> m (AnyBorder rep i e)

splitM :: Int -> AnyBorder rep i e -> m (AnyBorder rep i e, AnyBorder rep i e)

divideM :: Int -> AnyBorder rep i e -> m (AnyBorder rep i e, AnyBorder rep i e)

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

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

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

chunksM :: Int -> AnyBorder rep i e -> m [AnyBorder rep i e]

eachM :: Int -> AnyBorder rep i e -> m (AnyBorder rep i e)

prefixM :: (e -> Bool) -> AnyBorder rep i e -> m Int

suffixM :: (e -> Bool) -> AnyBorder rep i e -> m Int

mprefix :: (e -> m Bool) -> AnyBorder rep i e -> m Int

msuffix :: (e -> m Bool) -> AnyBorder rep i e -> m Int

(Index i, LinearM1 m rep e, BorderedM1 m rep Int e) => LinearM m (AnyBorder rep i e) e

Defined in SDP.Templates.AnyBorder

Methods

newNull :: m (AnyBorder rep i e)

nowNull :: AnyBorder rep i e -> m Bool

singleM :: e -> m (AnyBorder rep i e)

getHead :: AnyBorder rep i e -> m e

getLast :: AnyBorder rep i e -> m e

prepend :: e -> AnyBorder rep i e -> m (AnyBorder rep i e)

append :: AnyBorder rep i e -> e -> m (AnyBorder rep i e)

newLinear :: [e] -> m (AnyBorder rep i e)

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

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

getLeft :: AnyBorder rep i e -> m [e]

getRight :: AnyBorder rep i e -> m [e]

(!#>) :: AnyBorder rep i e -> Int -> m e

writeM :: AnyBorder rep i e -> Int -> e -> m ()

copied :: AnyBorder rep i e -> m (AnyBorder rep i e)

copied' :: AnyBorder rep i e -> Int -> Int -> m (AnyBorder rep i e)

reversed :: AnyBorder rep i e -> m (AnyBorder rep i e)

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

filled :: Int -> e -> m (AnyBorder rep i e)

copyTo :: AnyBorder rep i e -> Int -> AnyBorder rep i e -> Int -> Int -> m ()

ofoldrM :: (Int -> e -> r -> m r) -> r -> AnyBorder rep i e -> m r

ofoldlM :: (Int -> r -> e -> m r) -> r -> AnyBorder rep i e -> m r

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

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

foldrM :: (e -> r -> m r) -> r -> AnyBorder rep i e -> m r

foldlM :: (r -> e -> m r) -> r -> AnyBorder rep i e -> m r

foldrM' :: (e -> r -> m r) -> r -> AnyBorder rep i e -> m r

foldlM' :: (r -> e -> m r) -> r -> AnyBorder rep i e -> m r

swapM :: AnyBorder rep i e -> Int -> Int -> m ()

(Index i, BorderedM1 m rep Int e) => BorderedM m (AnyBorder rep i e) i

Defined in SDP.Templates.AnyBorder

Methods

getBounds :: AnyBorder rep i e -> m (i, i)

getLower :: AnyBorder rep i e -> m i

getUpper :: AnyBorder rep i e -> m i

getSizeOf :: AnyBorder rep i e -> m Int

getSizesOf :: AnyBorder rep i e -> m [Int]

nowIndexIn :: AnyBorder rep i e -> i -> m Bool

getOffsetOf :: AnyBorder rep i e -> i -> m Int

getIndexOf :: AnyBorder rep i e -> Int -> m i

getIndices :: AnyBorder rep i e -> m [i]

(Index i, Freeze m (rep e) imm) => Freeze m (AnyBorder rep i e) imm

Defined in SDP.Templates.AnyBorder

Methods

freeze :: AnyBorder rep i e -> m imm

unsafeFreeze :: AnyBorder rep i e -> m imm

(Index i, Thaw m (rep e) mut) => Thaw m (AnyBorder rep i e) mut

Defined in SDP.Templates.AnyBorder

Methods

thaw :: AnyBorder rep i e -> m mut

unsafeThaw :: AnyBorder rep i e -> m mut

(Index i, MapM1 m rep Int e, LinearM1 m rep e, BorderedM1 m rep Int e) => MapM m (AnyBorder rep i e) i e

Defined in SDP.Templates.AnyBorder

Methods

newMap :: [(i, e)] -> m (AnyBorder rep i e)

newMap' :: e -> [(i, e)] -> m (AnyBorder rep i e)

getAssocs :: AnyBorder rep i e -> m [(i, e)]

(>!) :: AnyBorder rep i e -> i -> m e

(!>) :: AnyBorder rep i e -> i -> m e

(!?>) :: AnyBorder rep i e -> i -> m (Maybe e)

updateM :: AnyBorder rep i e -> (i -> e -> e) -> m (AnyBorder rep i e)

overwrite :: AnyBorder rep i e -> [(i, e)] -> m (AnyBorder rep i e)

memberM' :: AnyBorder rep i e -> i -> m Bool

getKeys :: AnyBorder rep i e -> m [i]

(.?) :: (e -> Bool) -> AnyBorder rep i e -> m (Maybe i)

(*?) :: (e -> Bool) -> AnyBorder rep i e -> m [i]

kfoldrM :: (i -> e -> acc -> m acc) -> acc -> AnyBorder rep i e -> m acc

kfoldlM :: (i -> acc -> e -> m acc) -> acc -> AnyBorder rep i e -> m acc

kfoldrM' :: (i -> e -> acc -> m acc) -> acc -> AnyBorder rep i e -> m acc

kfoldlM' :: (i -> acc -> e -> m acc) -> acc -> AnyBorder rep i e -> m acc

(Index i, IndexedM1 m rep Int e) => IndexedM m (AnyBorder rep i e) i e

Defined in SDP.Templates.AnyBorder

Methods

fromAssocs :: (i, i) -> [(i, e)] -> m (AnyBorder rep i e)

fromAssocs' :: (i, i) -> e -> [(i, e)] -> m (AnyBorder rep i e)

writeM' :: AnyBorder rep i e -> i -> e -> m ()

swapM' :: AnyBorder rep i e -> i -> i -> m ()

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

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

reshaped :: IndexedM m v' j e => (i, i) -> v' -> (i -> j) -> m (AnyBorder rep i e)

fromAccum :: (e -> e' -> e) -> AnyBorder rep i e -> [(i, e')] -> m (AnyBorder rep i e)

updateM' :: AnyBorder rep i e -> (e -> e) -> i -> m ()

(Index i, Freeze1 m mut imm e) => Freeze m (AnyBorder mut i e) (AnyBorder imm i e)

Defined in SDP.Templates.AnyBorder

Methods

freeze :: AnyBorder mut i e -> m (AnyBorder imm i e)

unsafeFreeze :: AnyBorder mut i e -> m (AnyBorder imm i e)

(Index i, Thaw1 m imm mut e) => Thaw m (AnyBorder imm i e) (AnyBorder mut i e)

Defined in SDP.Templates.AnyBorder

Methods

thaw :: AnyBorder imm i e -> m (AnyBorder mut i e)

unsafeThaw :: AnyBorder imm i e -> m (AnyBorder mut i e)

(Bordered1 rep Int e, Split1 rep e) => Shaped (AnyBorder rep) e

Defined in SDP.Templates.AnyBorder

Methods

defaultRebound :: (Index i, Index j, Bordered2 (AnyBorder rep) i e) => AnyBorder rep i e -> AnyBorder rep j e

rebound :: Index i => AnyBorder rep i e -> (i, i) -> AnyBorder rep i e

reshape :: (Index i, Index j) => AnyBorder rep i e -> (j, j) -> AnyBorder rep j e

(!!) :: SubIndex i j => AnyBorder rep i e -> (i :|: j) -> AnyBorder rep j e

slices :: SubIndex i j => AnyBorder rep i e -> [AnyBorder rep j e]

unslice :: (Foldable f, SubIndex i j) => f (AnyBorder rep j e) -> AnyBorder rep i e

(Index i, Functor rep) => Functor (AnyBorder rep i)

Defined in SDP.Templates.AnyBorder

Methods

fmap :: (a -> b) -> AnyBorder rep i a -> AnyBorder rep i b

(<$) :: a -> AnyBorder rep i b -> AnyBorder rep i a

(Index i, Applicative rep) => Applicative (AnyBorder rep i)

Defined in SDP.Templates.AnyBorder

Methods

pure :: a -> AnyBorder rep i a

(<*>) :: AnyBorder rep i (a -> b) -> AnyBorder rep i a -> AnyBorder rep i b

liftA2 :: (a -> b -> c) -> AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i c

(*>) :: AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i b

(<*) :: AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i a

(Index i, Foldable rep) => Foldable (AnyBorder rep i)

Defined in SDP.Templates.AnyBorder

Methods

fold :: Monoid m => AnyBorder rep i m -> m

foldMap :: Monoid m => (a -> m) -> AnyBorder rep i a -> m

foldMap' :: Monoid m => (a -> m) -> AnyBorder rep i a -> m

foldr :: (a -> b -> b) -> b -> AnyBorder rep i a -> b

foldr' :: (a -> b -> b) -> b -> AnyBorder rep i a -> b

foldl :: (b -> a -> b) -> b -> AnyBorder rep i a -> b

foldl' :: (b -> a -> b) -> b -> AnyBorder rep i a -> b

foldr1 :: (a -> a -> a) -> AnyBorder rep i a -> a

foldl1 :: (a -> a -> a) -> AnyBorder rep i a -> a

toList :: AnyBorder rep i a -> [a]

null :: AnyBorder rep i a -> Bool

length :: AnyBorder rep i a -> Int

elem :: Eq a => a -> AnyBorder rep i a -> Bool

maximum :: Ord a => AnyBorder rep i a -> a

minimum :: Ord a => AnyBorder rep i a -> a

sum :: Num a => AnyBorder rep i a -> a

product :: Num a => AnyBorder rep i a -> a

(Index i, Traversable rep) => Traversable (AnyBorder rep i)

Defined in SDP.Templates.AnyBorder

Methods

traverse :: Applicative f => (a -> f b) -> AnyBorder rep i a -> f (AnyBorder rep i b)

sequenceA :: Applicative f => AnyBorder rep i (f a) -> f (AnyBorder rep i a)

mapM :: Monad m => (a -> m b) -> AnyBorder rep i a -> m (AnyBorder rep i b)

sequence :: Monad m => AnyBorder rep i (m a) -> m (AnyBorder rep i a)

(Index i, Eq1 rep) => Eq1 (AnyBorder rep i)

Defined in SDP.Templates.AnyBorder

Methods

liftEq :: (a -> b -> Bool) -> AnyBorder rep i a -> AnyBorder rep i b -> Bool

(Index i, Ord1 rep) => Ord1 (AnyBorder rep i)

Defined in SDP.Templates.AnyBorder

Methods

liftCompare :: (a -> b -> Ordering) -> AnyBorder rep i a -> AnyBorder rep i b -> Ordering

(Index i, Zip rep) => Zip (AnyBorder rep i)

Defined in SDP.Templates.AnyBorder

Methods

zap :: AnyBorder rep i (a -> b) -> AnyBorder rep i a -> AnyBorder rep i b

all2 :: (a -> b -> Bool) -> AnyBorder rep i a -> AnyBorder rep i b -> Bool

all3 :: (a -> b -> c -> Bool) -> AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i c -> Bool

all4 :: (a -> b -> c -> d -> Bool) -> AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i c -> AnyBorder rep i d -> Bool

all5 :: (a -> b -> c -> d -> e -> Bool) -> AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i c -> AnyBorder rep i d -> AnyBorder rep i e -> Bool

all6 :: (a -> b -> c -> d -> e -> f -> Bool) -> AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i c -> AnyBorder rep i d -> AnyBorder rep i e -> AnyBorder rep i f -> Bool

any2 :: (a -> b -> Bool) -> AnyBorder rep i a -> AnyBorder rep i b -> Bool

any3 :: (a -> b -> c -> Bool) -> AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i c -> Bool

any4 :: (a -> b -> c -> d -> Bool) -> AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i c -> AnyBorder rep i d -> Bool

any5 :: (a -> b -> c -> d -> e -> Bool) -> AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i c -> AnyBorder rep i d -> AnyBorder rep i e -> Bool

any6 :: (a -> b -> c -> d -> e -> f -> Bool) -> AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i c -> AnyBorder rep i d -> AnyBorder rep i e -> AnyBorder rep i f -> Bool

zip :: AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i (a, b)

zip3 :: AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i c -> AnyBorder rep i (a, b, c)

zip4 :: AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i c -> AnyBorder rep i d -> AnyBorder rep i (a, b, c, d)

zip5 :: AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i c -> AnyBorder rep i d -> AnyBorder rep i e -> AnyBorder rep i (a, b, c, d, e)

zip6 :: AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i c -> AnyBorder rep i d -> AnyBorder rep i e -> AnyBorder rep i f -> AnyBorder rep i (a, b, c, d, e, f)

zipWith :: (a -> b -> c) -> AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i c

zipWith3 :: (a -> b -> c -> d) -> AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i c -> AnyBorder rep i d

zipWith4 :: (a -> b -> c -> d -> e) -> AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i c -> AnyBorder rep i d -> AnyBorder rep i e

zipWith5 :: (a -> b -> c -> d -> e -> f) -> AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i c -> AnyBorder rep i d -> AnyBorder rep i e -> AnyBorder rep i f

zipWith6 :: (a -> b -> c -> d -> e -> f -> g) -> AnyBorder rep i a -> AnyBorder rep i b -> AnyBorder rep i c -> AnyBorder rep i d -> AnyBorder rep i e -> AnyBorder rep i f -> AnyBorder rep i g

(Index i, IsList (rep e), Bordered1 rep Int e) => IsList (AnyBorder rep i e)

Defined in SDP.Templates.AnyBorder

Associated Types

type Item (AnyBorder rep i e)

Methods

fromList :: [Item (AnyBorder rep i e)] -> AnyBorder rep i e

fromListN :: Int -> [Item (AnyBorder rep i e)] -> AnyBorder rep i e

toList :: AnyBorder rep i e -> [Item (AnyBorder rep i e)]

(Index i, Eq (rep e)) => Eq (AnyBorder rep i e)

Defined in SDP.Templates.AnyBorder

Methods

(==) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

(/=) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

(Typeable rep, Typeable e, Data i, Data (rep e)) => Data (AnyBorder rep i e)

Defined in SDP.Templates.AnyBorder

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnyBorder rep i e -> c (AnyBorder rep i e)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (AnyBorder rep i e)

toConstr :: AnyBorder rep i e -> Constr

dataTypeOf :: AnyBorder rep i e -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (AnyBorder rep i e))

dataCast2 :: Typeable t => (forall d e0. (Data d, Data e0) => c (t d e0)) -> Maybe (c (AnyBorder rep i e))

gmapT :: (forall b. Data b => b -> b) -> AnyBorder rep i e -> AnyBorder rep i e

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnyBorder rep i e -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnyBorder rep i e -> r

gmapQ :: (forall d. Data d => d -> u) -> AnyBorder rep i e -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> AnyBorder rep i e -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnyBorder rep i e -> m (AnyBorder rep i e)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnyBorder rep i e -> m (AnyBorder rep i e)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnyBorder rep i e -> m (AnyBorder rep i e)

(Index i, Ord (rep e)) => Ord (AnyBorder rep i e)

Defined in SDP.Templates.AnyBorder

Methods

compare :: AnyBorder rep i e -> AnyBorder rep i e -> Ordering

(<) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

(<=) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

(>) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

(>=) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

max :: AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e

min :: AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e

(Index i, Read i, Read e, Indexed1 rep Int e) => Read (AnyBorder rep i e)

Defined in SDP.Templates.AnyBorder

Methods

readsPrec :: Int -> ReadS (AnyBorder rep i e)

readList :: ReadS [AnyBorder rep i e]

readPrec :: ReadPrec (AnyBorder rep i e)

readListPrec :: ReadPrec [AnyBorder rep i e]

(Indexed1 rep Int Char, Index i, Show i) => Show (AnyBorder rep i Char)

Defined in SDP.Templates.AnyBorder

Methods

showsPrec :: Int -> AnyBorder rep i Char -> ShowS

show :: AnyBorder rep i Char -> String

showList :: [AnyBorder rep i Char] -> ShowS

(Indexed1 rep Int e, Index i, Show i, Show e) => Show (AnyBorder rep i e)

Defined in SDP.Templates.AnyBorder

Methods

showsPrec :: Int -> AnyBorder rep i e -> ShowS

show :: AnyBorder rep i e -> String

showList :: [AnyBorder rep i e] -> ShowS

(Index i, IsString (rep Char), Bordered1 rep Int Char) => IsString (AnyBorder rep i Char)

Defined in SDP.Templates.AnyBorder

Methods

fromString :: String -> AnyBorder rep i Char

Generic (AnyBorder rep i e)

Defined in SDP.Templates.AnyBorder

Associated Types

type Rep (AnyBorder rep i e) :: Type -> Type

Methods

from :: AnyBorder rep i e -> Rep (AnyBorder rep i e) x

to :: Rep (AnyBorder rep i e) x -> AnyBorder rep i e

Linear1 (AnyBorder rep i) e => Semigroup (AnyBorder rep i e)

Defined in SDP.Templates.AnyBorder

Methods

(<>) :: AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e

sconcat :: NonEmpty (AnyBorder rep i e) -> AnyBorder rep i e

stimes :: Integral b => b -> AnyBorder rep i e -> AnyBorder rep i e

Linear1 (AnyBorder rep i) e => Monoid (AnyBorder rep i e)

Defined in SDP.Templates.AnyBorder

Methods

mempty :: AnyBorder rep i e

mappend :: AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e

mconcat :: [AnyBorder rep i e] -> AnyBorder rep i e

Linear1 (AnyBorder rep i) e => Default (AnyBorder rep i e)

Defined in SDP.Templates.AnyBorder

Methods

def :: AnyBorder rep i e

Index i => Estimate (AnyBorder rep i e)

Defined in SDP.Templates.AnyBorder

Methods

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

(<==>) :: Compare (AnyBorder rep i e)

(.==) :: AnyBorder rep i e -> Int -> Bool

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

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

(.>=) :: AnyBorder rep i e -> Int -> Bool

(.<) :: AnyBorder rep i e -> Int -> Bool

(.>) :: AnyBorder rep i e -> Int -> Bool

(.<.) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

(.>.) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

(.<=.) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

(.>=.) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

(.==.) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

(./=.) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

(Index i, Bordered (rep e) Int, Nullable (rep e)) => Nullable (AnyBorder rep i e)

Defined in SDP.Templates.AnyBorder

Methods

lzero :: AnyBorder rep i e

isNull :: AnyBorder rep i e -> Bool

(Index i, Sort (rep e) e) => Sort (AnyBorder rep i e) e

Defined in SDP.Templates.AnyBorder

Methods

sortedBy :: (e -> e -> Bool) -> AnyBorder rep i e -> Bool

sortBy :: Compare e -> AnyBorder rep i e -> AnyBorder rep i e

(Index i, Split1 rep e, Bordered1 rep Int e) => Split (AnyBorder rep i e) e

Defined in SDP.Templates.AnyBorder

Methods

take :: Int -> AnyBorder rep i e -> AnyBorder rep i e

drop :: Int -> AnyBorder rep i e -> AnyBorder rep i e

keep :: Int -> AnyBorder rep i e -> AnyBorder rep i e

sans :: Int -> AnyBorder rep i e -> AnyBorder rep i e

save :: Int -> AnyBorder rep i e -> AnyBorder rep i e

skip :: Int -> AnyBorder rep i e -> AnyBorder rep i e

split :: Int -> AnyBorder rep i e -> (AnyBorder rep i e, AnyBorder rep i e)

divide :: Int -> AnyBorder rep i e -> (AnyBorder rep i e, AnyBorder rep i e)

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

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

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

chunks :: Int -> AnyBorder rep i e -> [AnyBorder rep i e]

splitBy :: (e -> Bool) -> AnyBorder rep i e -> (AnyBorder rep i e, AnyBorder rep i e)

divideBy :: (e -> Bool) -> AnyBorder rep i e -> (AnyBorder rep i e, AnyBorder rep i e)

splitsBy :: (e -> Bool) -> AnyBorder rep i e -> [AnyBorder rep i e]

splitsOn :: AnyBorder rep i e -> AnyBorder rep i e -> [AnyBorder rep i e]

replaceBy :: AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e

removeAll :: AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e

combo :: Equal e -> AnyBorder rep i e -> Int

justifyL :: Int -> e -> AnyBorder rep i e -> AnyBorder rep i e

justifyR :: Int -> e -> AnyBorder rep i e -> AnyBorder rep i e

each :: Int -> AnyBorder rep i e -> AnyBorder rep i e

eachFrom :: Int -> Int -> AnyBorder rep i e -> AnyBorder rep i e

isPrefixOf :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

isSuffixOf :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

isInfixOf :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

prefix :: (e -> Bool) -> AnyBorder rep i e -> Int

suffix :: (e -> Bool) -> AnyBorder rep i e -> Int

infixes :: AnyBorder rep i e -> AnyBorder rep i e -> [Int]

dropSide :: (e -> Bool) -> AnyBorder rep i e -> AnyBorder rep i e

takeWhile :: (e -> Bool) -> AnyBorder rep i e -> AnyBorder rep i e

dropWhile :: (e -> Bool) -> AnyBorder rep i e -> AnyBorder rep i e

takeEnd :: (e -> Bool) -> AnyBorder rep i e -> AnyBorder rep i e

dropEnd :: (e -> Bool) -> AnyBorder rep i e -> AnyBorder rep i e

spanl :: (e -> Bool) -> AnyBorder rep i e -> (AnyBorder rep i e, AnyBorder rep i e)

breakl :: (e -> Bool) -> AnyBorder rep i e -> (AnyBorder rep i e, AnyBorder rep i e)

spanr :: (e -> Bool) -> AnyBorder rep i e -> (AnyBorder rep i e, AnyBorder rep i e)

breakr :: (e -> Bool) -> AnyBorder rep i e -> (AnyBorder rep i e, AnyBorder rep i e)

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

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

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

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

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

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

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

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

(Index i, Linear1 rep e, Bordered1 rep Int e) => Linear (AnyBorder rep i e) e

Defined in SDP.Templates.AnyBorder

Methods

uncons :: AnyBorder rep i e -> (e, AnyBorder rep i e)

uncons' :: AnyBorder rep i e -> Maybe (e, AnyBorder rep i e)

toHead :: e -> AnyBorder rep i e -> AnyBorder rep i e

head :: AnyBorder rep i e -> e

tail :: AnyBorder rep i e -> AnyBorder rep i e

unsnoc :: AnyBorder rep i e -> (AnyBorder rep i e, e)

unsnoc' :: AnyBorder rep i e -> Maybe (AnyBorder rep i e, e)

toLast :: AnyBorder rep i e -> e -> AnyBorder rep i e

init :: AnyBorder rep i e -> AnyBorder rep i e

last :: AnyBorder rep i e -> e

single :: e -> AnyBorder rep i e

(++) :: AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e

replicate :: Int -> e -> AnyBorder rep i e

fromList :: [e] -> AnyBorder rep i e

fromListN :: Int -> [e] -> AnyBorder rep i e

listR :: AnyBorder rep i e -> [e]

listL :: AnyBorder rep i e -> [e]

fromFoldable :: Foldable f => f e -> AnyBorder rep i e

(!^) :: AnyBorder rep i e -> Int -> e

write :: AnyBorder rep i e -> Int -> e -> AnyBorder rep i e

concat :: Foldable f => f (AnyBorder rep i e) -> AnyBorder rep i e

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

intersperse :: e -> AnyBorder rep i e -> AnyBorder rep i e

filter :: (e -> Bool) -> AnyBorder rep i e -> AnyBorder rep i e

except :: (e -> Bool) -> AnyBorder rep i e -> AnyBorder rep i e

partition :: (e -> Bool) -> AnyBorder rep i e -> (AnyBorder rep i e, AnyBorder rep i e)

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

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

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

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

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

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

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

isSubseqOf :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

reverse :: AnyBorder rep i e -> AnyBorder rep i e

force :: AnyBorder rep i e -> AnyBorder rep i e

subsequences :: AnyBorder rep i e -> [AnyBorder rep i e]

iterate :: Int -> (e -> e) -> e -> AnyBorder rep i e

nub :: AnyBorder rep i e -> AnyBorder rep i e

nubBy :: Equal e -> AnyBorder rep i e -> AnyBorder rep i e

ofoldr :: (Int -> e -> b -> b) -> b -> AnyBorder rep i e -> b

ofoldl :: (Int -> b -> e -> b) -> b -> AnyBorder rep i e -> b

ofoldr' :: (Int -> e -> b -> b) -> b -> AnyBorder rep i e -> b

ofoldl' :: (Int -> b -> e -> b) -> b -> AnyBorder rep i e -> b

o_foldr :: (e -> b -> b) -> b -> AnyBorder rep i e -> b

o_foldl :: (b -> e -> b) -> b -> AnyBorder rep i e -> b

o_foldr' :: (e -> b -> b) -> b -> AnyBorder rep i e -> b

o_foldl' :: (b -> e -> b) -> b -> AnyBorder rep i e -> b

Index i => Bordered (AnyBorder rep i e) i

Defined in SDP.Templates.AnyBorder

Methods

bounds :: AnyBorder rep i e -> (i, i)

lower :: AnyBorder rep i e -> i

upper :: AnyBorder rep i e -> i

sizeOf :: AnyBorder rep i e -> Int

sizesOf :: AnyBorder rep i e -> [Int]

indexIn :: AnyBorder rep i e -> i -> Bool

indices :: AnyBorder rep i e -> [i]

indexOf :: AnyBorder rep i e -> Int -> i

offsetOf :: AnyBorder rep i e -> i -> Int

(SetWith1 (AnyBorder rep i) e, Nullable (AnyBorder rep i e), Ord e) => Set (AnyBorder rep i e) e

Defined in SDP.Templates.AnyBorder

Methods

set :: AnyBorder rep i e -> AnyBorder rep i e

insert :: e -> AnyBorder rep i e -> AnyBorder rep i e

delete :: e -> AnyBorder rep i e -> AnyBorder rep i e

(/\) :: AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e

(\/) :: AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e

(\\) :: AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e

(\^/) :: AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e

(/?\) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

(\?/) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

(\+/) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

intersections :: Foldable f => f (AnyBorder rep i e) -> AnyBorder rep i e

unions :: Foldable f => f (AnyBorder rep i e) -> AnyBorder rep i e

differences :: Foldable f => f (AnyBorder rep i e) -> AnyBorder rep i e

symdiffs :: Foldable f => f (AnyBorder rep i e) -> AnyBorder rep i e

member :: e -> AnyBorder rep i e -> Bool

lookupLT :: e -> AnyBorder rep i e -> Maybe e

lookupGT :: e -> AnyBorder rep i e -> Maybe e

lookupLE :: e -> AnyBorder rep i e -> Maybe e

lookupGE :: e -> AnyBorder rep i e -> Maybe e

(Index i, SetWith1 rep e, Linear1 rep e, Bordered1 rep Int e) => SetWith (AnyBorder rep i e) e

Defined in SDP.Templates.AnyBorder

Methods

setWith :: Compare e -> AnyBorder rep i e -> AnyBorder rep i e

groupSetWith :: Compare e -> (e -> e -> e) -> AnyBorder rep i e -> AnyBorder rep i e

insertWith :: Compare e -> e -> AnyBorder rep i e -> AnyBorder rep i e

deleteWith :: Compare e -> e -> AnyBorder rep i e -> AnyBorder rep i e

intersectionWith :: Compare e -> AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e

differenceWith :: Compare e -> AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e

symdiffWith :: Compare e -> AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e

unionWith :: Compare e -> AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e

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

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

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

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

isIntersectsWith :: Compare e -> AnyBorder rep i e -> AnyBorder rep i e -> Bool

isDisjointWith :: Compare e -> AnyBorder rep i e -> AnyBorder rep i e -> Bool

memberWith :: Compare e -> e -> AnyBorder rep i e -> Bool

isSubsetWith :: Compare e -> AnyBorder rep i e -> AnyBorder rep i e -> Bool

subsets :: AnyBorder rep i e -> [AnyBorder rep i e]

lookupLTWith :: Compare e -> e -> AnyBorder rep i e -> Maybe e

lookupGTWith :: Compare e -> e -> AnyBorder rep i e -> Maybe e

lookupGEWith :: Compare e -> e -> AnyBorder rep i e -> Maybe e

lookupLEWith :: Compare e -> e -> AnyBorder rep i e -> Maybe e

Linear1 (AnyBorder rep i) e => Scan (AnyBorder rep i e) e

Defined in SDP.Templates.AnyBorder

Methods

scanl :: (b -> e -> b) -> b -> AnyBorder rep i e -> [b]

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

scanr :: (e -> b -> b) -> b -> AnyBorder rep i e -> [b]

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

scanl1 :: (e -> e -> e) -> AnyBorder rep i e -> [e]

scanr1 :: (e -> e -> e) -> AnyBorder rep i e -> [e]

(Index i, Indexed1 rep Int e) => Map (AnyBorder rep i e) i e

Defined in SDP.Templates.AnyBorder

Methods

assocs :: AnyBorder rep i e -> [(i, e)]

toMap :: [(i, e)] -> AnyBorder rep i e

toMap' :: e -> [(i, e)] -> AnyBorder rep i e

insert' :: i -> e -> AnyBorder rep i e -> AnyBorder rep i e

delete' :: i -> AnyBorder rep i e -> AnyBorder rep i e

member' :: i -> AnyBorder rep i e -> Bool

(//) :: AnyBorder rep i e -> [(i, e)] -> AnyBorder rep i e

(.!) :: AnyBorder rep i e -> i -> e

(!) :: AnyBorder rep i e -> i -> e

(!?) :: AnyBorder rep i e -> i -> Maybe e

filter' :: (i -> e -> Bool) -> AnyBorder rep i e -> AnyBorder rep i e

union' :: (e -> e -> e) -> AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e

difference' :: (e -> e -> Maybe e) -> AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e

intersection' :: (e -> e -> e) -> AnyBorder rep i e -> AnyBorder rep i e -> AnyBorder rep i e

update :: AnyBorder rep i e -> (i -> e -> e) -> AnyBorder rep i e

lookupLT' :: i -> AnyBorder rep i e -> Maybe (i, e)

lookupGT' :: i -> AnyBorder rep i e -> Maybe (i, e)

lookupLE' :: i -> AnyBorder rep i e -> Maybe (i, e)

lookupGE' :: i -> AnyBorder rep i e -> Maybe (i, e)

keys :: AnyBorder rep i e -> [i]

(.$) :: (e -> Bool) -> AnyBorder rep i e -> Maybe i

(*$) :: (e -> Bool) -> AnyBorder rep i e -> [i]

kfoldr :: (i -> e -> b -> b) -> b -> AnyBorder rep i e -> b

kfoldl :: (i -> b -> e -> b) -> b -> AnyBorder rep i e -> b

kfoldr' :: (i -> e -> b -> b) -> b -> AnyBorder rep i e -> b

kfoldl' :: (i -> b -> e -> b) -> b -> AnyBorder rep i e -> b

(Index i, Indexed1 rep Int e) => Indexed (AnyBorder rep i e) i e

Defined in SDP.Templates.AnyBorder

Methods

assoc :: (i, i) -> [(i, e)] -> AnyBorder rep i e

assoc' :: (i, i) -> e -> [(i, e)] -> AnyBorder rep i e

fromIndexed :: Indexed m j e => m -> AnyBorder rep i e

write' :: AnyBorder rep i e -> i -> e -> AnyBorder rep i e

accum :: (e -> e' -> e) -> AnyBorder rep i e -> [(i, e')] -> AnyBorder rep i e

imap :: Map m j e => (i, i) -> m -> (i -> j) -> AnyBorder rep i e

update' :: AnyBorder rep i e -> (e -> e) -> i -> AnyBorder rep i e

updates' :: AnyBorder rep i e -> (i -> e -> e) -> AnyBorder rep i e

type Rep (AnyBorder rep i e)

Defined in SDP.Templates.AnyBorder

type Rep (AnyBorder rep i e) = D1 ('MetaData "AnyBorder" "SDP.Templates.AnyBorder" "sdp-0.2-AH2T5KX1xmG8Wo3slp7kFT" 'False) (C1 ('MetaCons "AnyBorder" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 i) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 i) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (rep e)))))

type Item (AnyBorder rep i e)

Defined in SDP.Templates.AnyBorder

type Item (AnyBorder rep i e) = Item (rep e)