Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for Sequences
.
Synopsis
- class Sym_SemiSequence term where
- 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
- 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 term where
- tyIsSequence :: Source src => Type src vs a -> Type src vs (IsSequence a)
- teIsSequence_filter :: TermDef IsSequence '[Proxy s, Proxy e] ((IsSequence s # (e #~ Element s)) #> ((e -> Bool) -> s -> s))
Class Sym_SemiSequence
class Sym_SemiSequence term where Source #
intersperse :: SemiSequence s => term (Element s) -> term s -> term s Source #
cons :: SemiSequence s => term (Element s) -> term s -> term s Source #
snoc :: SemiSequence s => term s -> term (Element s) -> term s Source #
reverse :: SemiSequence s => term s -> term s Source #
intersperse :: Sym_SemiSequence (UnT term) => Trans term => SemiSequence s => term (Element s) -> term s -> term s Source #
cons :: Sym_SemiSequence (UnT term) => Trans term => SemiSequence s => term (Element s) -> term s -> term s Source #
snoc :: Sym_SemiSequence (UnT term) => Trans term => SemiSequence s => term s -> term (Element s) -> term s Source #
reverse :: Sym_SemiSequence (UnT term) => Trans term => SemiSequence s => term s -> term s Source #
Instances
Type
s
tySemiSequence :: Source src => Type src vs a -> Type src vs (SemiSequence a) Source #
Term
s
teSemiSequence_reverse :: TermDef SemiSequence '[Proxy s, Proxy e] ((SemiSequence s # (e #~ Element s)) #> (s -> s)) Source #
teSemiSequence_intersperse :: TermDef SemiSequence '[Proxy s, Proxy e] ((SemiSequence s # (e #~ Element s)) #> (e -> s -> s)) Source #
teSemiSequence_cons :: TermDef SemiSequence '[Proxy s, Proxy e] ((SemiSequence s # (e #~ Element s)) #> (e -> s -> s)) Source #
teSemiSequence_snoc :: TermDef SemiSequence '[Proxy s, Proxy e] ((SemiSequence s # (e #~ Element s)) #> (s -> e -> s)) Source #
Class Sym_IsSequence
class Sym_IsSequence term where Source #
filter :: IsSequence s => term (Element s -> Bool) -> term s -> term s Source #
filter :: Sym_IsSequence (UnT term) => Trans term => IsSequence s => term (Element s -> Bool) -> term s -> term s Source #
Instances
Sym_IsSequence View Source # | |
Defined in Language.Symantic.Lib.Sequences | |
Sym_IsSequence Eval Source # | |
Defined in Language.Symantic.Lib.Sequences | |
(Sym_IsSequence term, Sym_Lambda term) => Sym_IsSequence (BetaT term) Source # | |
Defined in Language.Symantic.Lib.Sequences | |
(Sym_IsSequence r1, Sym_IsSequence r2) => Sym_IsSequence (Dup r1 r2) Source # | |
Defined in Language.Symantic.Lib.Sequences |
Type
s
tyIsSequence :: Source src => Type src vs a -> Type src vs (IsSequence a) Source #
Term
s
teIsSequence_filter :: TermDef IsSequence '[Proxy s, Proxy e] ((IsSequence s # (e #~ Element s)) #> ((e -> Bool) -> s -> s)) Source #