Language.Symantic.Lib.NonNull

Symantic for NonNull.

Class Sym_NonNull

class Sym_NonNull term where

Methods

fromNullable :: MonoFoldable o => term o -> term (Maybe (NonNull o))

toNullable :: MonoFoldable o => term (NonNull o) -> term o

ncons :: SemiSequence s => term (Element s) -> term s -> term (NonNull s)

nuncons :: IsSequence s => term (NonNull s) -> term (Element s, Maybe (NonNull s))

head :: MonoFoldable o => term (NonNull o) -> term (Element o)

last :: MonoFoldable o => term (NonNull o) -> term (Element o)

tail :: IsSequence s => term (NonNull s) -> term s

init :: IsSequence s => term (NonNull s) -> term s

nfilter :: IsSequence s => term (Element s -> Bool) -> term (NonNull s) -> term s

fromNullable :: Sym_NonNull (UnT term) => Trans term => MonoFoldable o => term o -> term (Maybe (NonNull o))

toNullable :: Sym_NonNull (UnT term) => Trans term => MonoFoldable o => term (NonNull o) -> term o

ncons :: Sym_NonNull (UnT term) => Trans term => SemiSequence s => term (Element s) -> term s -> term (NonNull s)

nuncons :: Sym_NonNull (UnT term) => Trans term => IsSequence s => term (NonNull s) -> term (Element s, Maybe (NonNull s))

head :: Sym_NonNull (UnT term) => Trans term => MonoFoldable o => term (NonNull o) -> term (Element o)

last :: Sym_NonNull (UnT term) => Trans term => MonoFoldable o => term (NonNull o) -> term (Element o)

tail :: Sym_NonNull (UnT term) => Trans term => IsSequence s => term (NonNull s) -> term s

init :: Sym_NonNull (UnT term) => Trans term => IsSequence s => term (NonNull s) -> term s

nfilter :: Sym_NonNull (UnT term) => Trans term => IsSequence s => term (Element s -> Bool) -> term (NonNull s) -> term s

Instances

Sym_NonNull Eval

Methods

fromNullable :: MonoFoldable o => Eval o -> Eval (Maybe (NonNull o))

toNullable :: MonoFoldable o => Eval (NonNull o) -> Eval o

ncons :: SemiSequence s => Eval (Element s) -> Eval s -> Eval (NonNull s)

nuncons :: IsSequence s => Eval (NonNull s) -> Eval (Element s, Maybe (NonNull s))

head :: MonoFoldable o => Eval (NonNull o) -> Eval (Element o)

last :: MonoFoldable o => Eval (NonNull o) -> Eval (Element o)

tail :: IsSequence s => Eval (NonNull s) -> Eval s

init :: IsSequence s => Eval (NonNull s) -> Eval s

nfilter :: IsSequence s => Eval (Element s -> Bool) -> Eval (NonNull s) -> Eval s

Sym_NonNull View

Methods

fromNullable :: MonoFoldable o => View o -> View (Maybe (NonNull o))

toNullable :: MonoFoldable o => View (NonNull o) -> View o

ncons :: SemiSequence s => View (Element s) -> View s -> View (NonNull s)

nuncons :: IsSequence s => View (NonNull s) -> View (Element s, Maybe (NonNull s))

head :: MonoFoldable o => View (NonNull o) -> View (Element o)

last :: MonoFoldable o => View (NonNull o) -> View (Element o)

tail :: IsSequence s => View (NonNull s) -> View s

init :: IsSequence s => View (NonNull s) -> View s

nfilter :: IsSequence s => View (Element s -> Bool) -> View (NonNull s) -> View s

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

Methods

fromNullable :: MonoFoldable o => BetaT term o -> BetaT term (Maybe (NonNull o))

toNullable :: MonoFoldable o => BetaT term (NonNull o) -> BetaT term o

ncons :: SemiSequence s => BetaT term (Element s) -> BetaT term s -> BetaT term (NonNull s)

nuncons :: IsSequence s => BetaT term (NonNull s) -> BetaT term (Element s, Maybe (NonNull s))

head :: MonoFoldable o => BetaT term (NonNull o) -> BetaT term (Element o)

last :: MonoFoldable o => BetaT term (NonNull o) -> BetaT term (Element o)

tail :: IsSequence s => BetaT term (NonNull s) -> BetaT term s

init :: IsSequence s => BetaT term (NonNull s) -> BetaT term s

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

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

Methods

fromNullable :: MonoFoldable o => Dup r1 r2 o -> Dup r1 r2 (Maybe (NonNull o))

toNullable :: MonoFoldable o => Dup r1 r2 (NonNull o) -> Dup r1 r2 o

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

nuncons :: IsSequence s => Dup r1 r2 (NonNull s) -> Dup r1 r2 (Element s, Maybe (NonNull s))

head :: MonoFoldable o => Dup r1 r2 (NonNull o) -> Dup r1 r2 (Element o)

last :: MonoFoldable o => Dup r1 r2 (NonNull o) -> Dup r1 r2 (Element o)

tail :: IsSequence s => Dup r1 r2 (NonNull s) -> Dup r1 r2 s

init :: IsSequence s => Dup r1 r2 (NonNull s) -> Dup r1 r2 s

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

Types

tyNonNull :: Source src => Type src vs a -> Type src vs (NonNull a)

Terms

teNonNull_fromNullable :: TermDef NonNull '[Proxy o] (MonoFoldable o #> (o -> Maybe (NonNull o)))

teNonNull_toNullable :: TermDef NonNull '[Proxy o] (MonoFoldable o #> (NonNull o -> o))

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

teNonNull_nuncons :: TermDef NonNull '[Proxy s, Proxy e] ((IsSequence s # (e #~ Element s)) #> (NonNull s -> (e, Maybe (NonNull s))))

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

teNonNull_head :: TermDef NonNull '[Proxy o, Proxy e] ((MonoFoldable o # (e #~ Element o)) #> (NonNull o -> e))

teNonNull_last :: TermDef NonNull '[Proxy o, Proxy e] ((MonoFoldable o # (e #~ Element o)) #> (NonNull o -> e))

teNonNull_tail :: TermDef NonNull '[Proxy s] (IsSequence s #> (NonNull s -> s))

teNonNull_init :: TermDef NonNull '[Proxy s] (IsSequence s #> (NonNull s -> s))

Orphan instances

ClassInstancesFor (* -> *) NonNull

Methods

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

TypeInstancesFor (* -> *) NonNull

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 (* -> *) NonNull

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

FixityOf (* -> *) NonNull

Methods

fixityOf :: proxy c -> Maybe Fixity

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

Methods

moduleFor :: (PathMod, Module ss NonNull)

Gram_Term_AtomsFor (* -> *) src ss g NonNull

Methods

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