Language.Symantic.Lib.Sequences

Symantic for Sequences.

Class Sym_SemiSequence

class Sym_SemiSequence term where

Methods

intersperse :: SemiSequence s => term (Element s) -> term s -> term s

cons :: SemiSequence s => term (Element s) -> term s -> term s

snoc :: SemiSequence s => term s -> term (Element s) -> term s

reverse :: SemiSequence s => term s -> term s

intersperse :: Sym_SemiSequence (UnT term) => Trans term => SemiSequence s => term (Element s) -> term s -> term s

cons :: Sym_SemiSequence (UnT term) => Trans term => SemiSequence s => term (Element s) -> term s -> term s

snoc :: Sym_SemiSequence (UnT term) => Trans term => SemiSequence s => term s -> term (Element s) -> term s

reverse :: Sym_SemiSequence (UnT term) => Trans term => SemiSequence s => term s -> term s

Instances

Sym_SemiSequence View

Methods

intersperse :: SemiSequence s => View (Element s) -> View s -> View s

cons :: SemiSequence s => View (Element s) -> View s -> View s

snoc :: SemiSequence s => View s -> View (Element s) -> View s

reverse :: SemiSequence s => View s -> View s

Sym_SemiSequence Eval

Methods

intersperse :: SemiSequence s => Eval (Element s) -> Eval s -> Eval s

cons :: SemiSequence s => Eval (Element s) -> Eval s -> Eval s

snoc :: SemiSequence s => Eval s -> Eval (Element s) -> Eval s

reverse :: SemiSequence s => Eval s -> Eval s

(Sym_SemiSequence term, Sym_Lambda term) => Sym_SemiSequence (BetaT term)

Methods

intersperse :: SemiSequence s => BetaT term (Element s) -> BetaT term s -> BetaT term s

cons :: SemiSequence s => BetaT term (Element s) -> BetaT term s -> BetaT term s

snoc :: SemiSequence s => BetaT term s -> BetaT term (Element s) -> BetaT term s

reverse :: SemiSequence s => BetaT term s -> BetaT term s

(Sym_SemiSequence r1, Sym_SemiSequence r2) => Sym_SemiSequence (Dup r1 r2)

Methods

intersperse :: SemiSequence s => Dup r1 r2 (Element s) -> Dup r1 r2 s -> Dup r1 r2 s

cons :: SemiSequence s => Dup r1 r2 (Element s) -> Dup r1 r2 s -> Dup r1 r2 s

snoc :: SemiSequence s => Dup r1 r2 s -> Dup r1 r2 (Element s) -> Dup r1 r2 s

reverse :: SemiSequence s => Dup r1 r2 s -> Dup r1 r2 s

Types

tySemiSequence :: Source src => Type src vs a -> Type src vs (SemiSequence a)

s0 :: Source src => LenInj vs => KindInj (K s) => Type src (Proxy s ': vs) s

Terms

teSemiSequence_reverse :: TermDef SemiSequence '[Proxy s, Proxy e] ((SemiSequence s # (e #~ Element s)) #> (s -> s))

teSemiSequence_intersperse :: TermDef SemiSequence '[Proxy s, Proxy e] ((SemiSequence s # (e #~ Element s)) #> (e -> s -> s))

teSemiSequence_cons :: TermDef SemiSequence '[Proxy s, Proxy e] ((SemiSequence s # (e #~ Element s)) #> (e -> s -> s))

teSemiSequence_snoc :: TermDef SemiSequence '[Proxy s, Proxy e] ((SemiSequence s # (e #~ Element s)) #> (s -> e -> s))

Class Sym_IsSequence

class Sym_IsSequence term where

Methods

filter :: IsSequence s => term (Element s -> Bool) -> term s -> term s

filter :: Sym_IsSequence (UnT term) => Trans term => IsSequence s => term (Element s -> Bool) -> term s -> term s

Instances

Sym_IsSequence View

Methods

filter :: IsSequence s => View (Element s -> Bool) -> View s -> View s

Sym_IsSequence Eval

Methods

filter :: IsSequence s => Eval (Element s -> Bool) -> Eval s -> Eval s

(Sym_IsSequence term, Sym_Lambda term) => Sym_IsSequence (BetaT term)

Methods

filter :: IsSequence s => BetaT term (Element s -> Bool) -> BetaT term s -> BetaT term s

(Sym_IsSequence r1, Sym_IsSequence r2) => Sym_IsSequence (Dup r1 r2)

Methods

filter :: IsSequence s => Dup r1 r2 (Element s -> Bool) -> Dup r1 r2 s -> Dup r1 r2 s

Types

tyIsSequence :: Source src => Type src vs a -> Type src vs (IsSequence a)

Terms

teIsSequence_filter :: TermDef IsSequence '[Proxy s, Proxy e] ((IsSequence s # (e #~ Element s)) #> ((e -> Bool) -> s -> s))

Orphan instances

ClassInstancesFor (* -> Constraint) SemiSequence

Methods

proveConstraintFor :: Source src => proxy c -> Type Constraint src vs q -> Maybe (Qual q)

ClassInstancesFor (* -> Constraint) IsSequence

Methods

proveConstraintFor :: Source src => proxy c -> Type Constraint src vs q -> Maybe (Qual q)

TypeInstancesFor (* -> Constraint) SemiSequence

Methods

expandFamFor :: Source src => proxy c -> Len Type vs -> Const kt src fam -> Types src vs ts -> Maybe (Type kt src vs (Fam kt fam ts))

TypeInstancesFor (* -> Constraint) IsSequence

Methods

expandFamFor :: Source src => proxy c -> Len Type vs -> Const kt src fam -> Types src vs ts -> Maybe (Type kt src vs (Fam kt fam ts))

NameTyOf (* -> Constraint) SemiSequence

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

NameTyOf (* -> Constraint) IsSequence

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

FixityOf (* -> Constraint) SemiSequence

Methods

fixityOf :: proxy c -> Maybe Fixity

FixityOf (* -> Constraint) IsSequence

Methods

fixityOf :: proxy c -> Maybe Fixity

(Source src, SymInj (* -> Constraint) ss IsSequence) => ModuleFor (* -> Constraint) src ss IsSequence

Methods

moduleFor :: (PathMod, Module ss IsSequence)

(Source src, SymInj (* -> Constraint) ss SemiSequence) => ModuleFor (* -> Constraint) src ss SemiSequence

Methods

moduleFor :: (PathMod, Module ss SemiSequence)

Gram_Term_AtomsFor (* -> Constraint) src ss g IsSequence

Methods

g_term_atomsFor :: [CF IsSequence (AST_Term ss g)]

Gram_Term_AtomsFor (* -> Constraint) src ss g SemiSequence

Methods

g_term_atomsFor :: [CF SemiSequence (AST_Term ss g)]