Language.Symantic.Lib.Ratio

Symantic for Ratio.

Class Sym_Ratio

class Sym_Ratio term where

Methods

ratio :: Integral a => term a -> term a -> term (Ratio a)

numerator :: term (Ratio a) -> term a

denominator :: term (Ratio a) -> term a

ratio :: Sym_Ratio (UnT term) => Trans term => Integral a => term a -> term a -> term (Ratio a)

numerator :: Sym_Ratio (UnT term) => Trans term => term (Ratio a) -> term a

denominator :: Sym_Ratio (UnT term) => Trans term => term (Ratio a) -> term a

Instances

Sym_Ratio View

Methods

ratio :: Integral a => View a -> View a -> View (Ratio a)

numerator :: View (Ratio a) -> View a

denominator :: View (Ratio a) -> View a

Sym_Ratio Eval

Methods

ratio :: Integral a => Eval a -> Eval a -> Eval (Ratio a)

numerator :: Eval (Ratio a) -> Eval a

denominator :: Eval (Ratio a) -> Eval a

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

Methods

ratio :: Integral a => BetaT term a -> BetaT term a -> BetaT term (Ratio a)

numerator :: BetaT term (Ratio a) -> BetaT term a

denominator :: BetaT term (Ratio a) -> BetaT term a

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

Methods

ratio :: Integral a => Dup r1 r2 a -> Dup r1 r2 a -> Dup r1 r2 (Ratio a)

numerator :: Dup r1 r2 (Ratio a) -> Dup r1 r2 a

denominator :: Dup r1 r2 (Ratio a) -> Dup r1 r2 a

Types

tyRatio :: Source src => Type src vs a -> Type src vs (Ratio a)

Terms

teRatio :: TermDef Ratio '[Proxy a] (Integral a #> (a -> a -> Ratio a))

teRatio_numerator :: TermDef Ratio '[Proxy a] (() #> (Ratio a -> a))

teRatio_denominator :: TermDef Ratio '[Proxy a] (() #> (Ratio a -> a))

Orphan instances

ClassInstancesFor (* -> *) Ratio

Methods

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

TypeInstancesFor (* -> *) Ratio

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 (* -> *) Ratio

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

FixityOf (* -> *) Ratio

Methods

fixityOf :: proxy c -> Maybe Fixity

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

Methods

moduleFor :: (PathMod, Module ss Ratio)

Gram_Term_AtomsFor (* -> *) src ss g Ratio

Methods

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