Language.Symantic.Lib.Real

Symantic for Real.

Class Sym_Real

class Sym_Real term where

Minimal complete definition

Nothing

Methods

toRational :: Real a => term a -> term Rational

toRational :: Sym_Real (UnT term) => Trans term => Real a => term a -> term Rational

Instances

Sym_Real View

Defined in Language.Symantic.Lib.Real

Methods

toRational :: Real a => View a -> View Rational

Sym_Real Eval

Defined in Language.Symantic.Lib.Real

Methods

toRational :: Real a => Eval a -> Eval Rational

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

Defined in Language.Symantic.Lib.Real

Methods

toRational :: Real a => BetaT term a -> BetaT term Rational

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

Defined in Language.Symantic.Lib.Real

Methods

toRational :: Real a => Dup r1 r2 a -> Dup r1 r2 Rational

Types

tyReal :: Source src => Type src vs a -> Type src vs (Real a)

tyRational :: Source src => LenInj vs => Type src vs Rational

Terms

teReal_toRational :: TermDef Real '[Proxy a] (Real a #> (a -> Rational))

Orphan instances

ClassInstancesFor Real

Methods

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

TypeInstancesFor Real

Methods

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

NameTyOf Real

Methods

nameTyOf :: proxy Real -> Mod NameTy

isNameTyOp :: proxy Real -> Bool

FixityOf Real

Methods

fixityOf :: proxy Real -> Maybe Fixity

(Source src, SymInj ss Real) => ModuleFor src ss Real

Methods

moduleFor :: (PathMod, Module src ss)

Gram_Term_AtomsFor src ss g Real

Methods

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