Language.Symantic.Lib.Real

Symantic for Real.

Class Sym_Real

class Sym_Real term where

Methods

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

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

Instances

Sym_Real Eval

Methods

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

Sym_Real View

Methods

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

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

Methods

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

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

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 (* -> Constraint) Real

Methods

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

TypeInstancesFor (* -> Constraint) Real

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

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

FixityOf (* -> Constraint) Real

Methods

fixityOf :: proxy c -> Maybe Fixity

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

Methods

moduleFor :: (PathMod, Module ss Real)

Gram_Term_AtomsFor (* -> Constraint) src ss g Real

Methods

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