Language.Symantic.Lib.MonoFunctor

Symantic for MonoFunctor.

Type Element

data Element

Instances

ClassInstancesFor * Element

Methods

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

TypeInstancesFor * Element

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 * Element

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

type Fam * Element ((:) Type h ([] Type))

type Fam * Element ((:) Type h ([] Type)) = Element (UnProxy * h)

Types

famElement :: Source src => Type src vs t -> Type src vs (Element t)

Class Sym_MonoFunctor

class Sym_MonoFunctor term where

Methods

omap :: MonoFunctor o => term (Element o -> Element o) -> term o -> term o

omap :: Sym_MonoFunctor (UnT term) => Trans term => MonoFunctor o => term (Element o -> Element o) -> term o -> term o

Instances

Sym_MonoFunctor Eval

Methods

omap :: MonoFunctor o => Eval (Element o -> Element o) -> Eval o -> Eval o

Sym_MonoFunctor View

Methods

omap :: MonoFunctor o => View (Element o -> Element o) -> View o -> View o

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

Methods

omap :: MonoFunctor o => BetaT term (Element o -> Element o) -> BetaT term o -> BetaT term o

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

Methods

omap :: MonoFunctor o => Dup r1 r2 (Element o -> Element o) -> Dup r1 r2 o -> Dup r1 r2 o

Types

tyMonoFunctor :: Source src => Type src vs a -> Type src vs (MonoFunctor a)

o0 :: Source src => LenInj vs => KindInj (K o) => Type src (Proxy o ': vs) o

e1 :: Source src => LenInj vs => KindInj (K e) => Type src (a ': (Proxy e ': vs)) e

Terms

teMonoFunctor_omap :: TermDef MonoFunctor '[Proxy o, Proxy e] ((MonoFunctor o # (e #~ Element o)) #> ((e -> e) -> o -> o))

Orphan instances

ClassInstancesFor (* -> Constraint) MonoFunctor

Methods

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

TypeInstancesFor (* -> Constraint) MonoFunctor

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) MonoFunctor

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

FixityOf (* -> Constraint) MonoFunctor

Methods

fixityOf :: proxy c -> Maybe Fixity

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

Methods

moduleFor :: (PathMod, Module ss MonoFunctor)

Gram_Term_AtomsFor (* -> Constraint) src ss g MonoFunctor

Methods

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