Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for MonoFunctor
.
Synopsis
- data Element
- famElement :: Source src => Type src vs t -> Type src vs (Element t)
- class Sym_MonoFunctor term where
- omap :: MonoFunctor o => term (Element o -> Element o) -> term o -> term o
- 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
- teMonoFunctor_omap :: TermDef MonoFunctor '[Proxy o, Proxy e] ((MonoFunctor o # (e #~ Element o)) #> ((e -> e) -> o -> o))
Type Element
Instances
ClassInstancesFor Element Source # | |
Defined in Language.Symantic.Lib.MonoFunctor | |
TypeInstancesFor Element Source # | |
NameTyOf Element Source # | |
Defined in Language.Symantic.Lib.MonoFunctor | |
type Fam Element (h ': ([] :: [Type])) Source # | |
Type
s
Class Sym_MonoFunctor
class Sym_MonoFunctor term where Source #
Nothing
omap :: MonoFunctor o => term (Element o -> Element o) -> term o -> term o Source #
omap :: Sym_MonoFunctor (UnT term) => Trans term => MonoFunctor o => term (Element o -> Element o) -> term o -> term o Source #
Instances
Sym_MonoFunctor View Source # | |
Defined in Language.Symantic.Lib.MonoFunctor | |
Sym_MonoFunctor Eval Source # | |
Defined in Language.Symantic.Lib.MonoFunctor | |
(Sym_MonoFunctor term, Sym_Lambda term) => Sym_MonoFunctor (BetaT term) Source # | |
Defined in Language.Symantic.Lib.MonoFunctor | |
(Sym_MonoFunctor r1, Sym_MonoFunctor r2) => Sym_MonoFunctor (Dup r1 r2) Source # | |
Defined in Language.Symantic.Lib.MonoFunctor |
Type
s
tyMonoFunctor :: Source src => Type src vs a -> Type src vs (MonoFunctor a) Source #
Term
s
teMonoFunctor_omap :: TermDef MonoFunctor '[Proxy o, Proxy e] ((MonoFunctor o # (e #~ Element o)) #> ((e -> e) -> o -> o)) Source #
Orphan instances
ClassInstancesFor MonoFunctor Source # | |
proveConstraintFor :: Source src => proxy MonoFunctor -> Type src vs q -> Maybe (Qual q) # | |
TypeInstancesFor MonoFunctor Source # | |
expandFamFor :: Source src => proxy MonoFunctor -> Len vs -> Const src fam -> Types src vs ts -> Maybe (Type src vs (Fam fam ts)) # | |
NameTyOf MonoFunctor Source # | |
nameTyOf :: proxy MonoFunctor -> Mod NameTy # isNameTyOp :: proxy MonoFunctor -> Bool # | |
FixityOf MonoFunctor Source # | |
fixityOf :: proxy MonoFunctor -> Maybe Fixity # | |
(Source src, SymInj ss MonoFunctor) => ModuleFor src ss MonoFunctor Source # | |
Gram_Term_AtomsFor src ss g MonoFunctor Source # | |
g_term_atomsFor :: [CF g (AST_Term src ss)] # |