symantic-lib-0.0.5.20190614: Symantics for common types.

Safe HaskellNone
LanguageHaskell2010

Language.Symantic.Lib.Real

Contents

Description

Symantic for Real.

Synopsis

Class Sym_Real

class Sym_Real term where Source #

Minimal complete definition

Nothing

Methods

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

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

Instances
Sym_Real View Source # 
Instance details

Defined in Language.Symantic.Lib.Real

Methods

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

Sym_Real Eval Source # 
Instance details

Defined in Language.Symantic.Lib.Real

Methods

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

(Sym_Real term, Sym_Lambda term) => Sym_Real (BetaT term) Source # 
Instance details

Defined in Language.Symantic.Lib.Real

Methods

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

(Sym_Real r1, Sym_Real r2) => Sym_Real (Dup r1 r2) Source # 
Instance details

Defined in Language.Symantic.Lib.Real

Methods

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

Types

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

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

Terms

Orphan instances

ClassInstancesFor Real Source # 
Instance details

Methods

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

TypeInstancesFor Real Source # 
Instance details

Methods

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

NameTyOf Real Source # 
Instance details

Methods

nameTyOf :: proxy Real -> Mod NameTy #

isNameTyOp :: proxy Real -> Bool #

FixityOf Real Source # 
Instance details

Methods

fixityOf :: proxy Real -> Maybe Fixity #

(Source src, SymInj ss Real) => ModuleFor src ss Real Source # 
Instance details

Methods

moduleFor :: (PathMod, Module src ss) #

Gram_Term_AtomsFor src ss g Real Source # 
Instance details

Methods

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