Data.Promotion.Prelude.Num

Defines and exports promoted and singleton versions of definitions from GHC.Num.

Documentation

class (kproxy ~ Proxy) => PNum kproxy

Associated Types

type (arg :: a) :+ (arg :: a) :: a infixl 6

type (arg :: a) :- (arg :: a) :: a infixl 6

type (arg :: a) :* (arg :: a) :: a infixl 7

type Negate (arg :: a) :: a

type Abs (arg :: a) :: a

type Signum (arg :: a) :: a

type FromInteger (arg :: Nat) :: a

Instances

PNum Nat (Proxy * Nat)

Associated Types

type ((Proxy * Nat) :+ (arg :: Proxy * Nat)) (arg :: Proxy * Nat) :: a

type ((Proxy * Nat) :- (arg :: Proxy * Nat)) (arg :: Proxy * Nat) :: a

type ((Proxy * Nat) :* (arg :: Proxy * Nat)) (arg :: Proxy * Nat) :: a

type Negate (Proxy * Nat) (arg :: Proxy * Nat) :: a

type Abs (Proxy * Nat) (arg :: Proxy * Nat) :: a

type Signum (Proxy * Nat) (arg :: Proxy * Nat) :: a

type FromInteger (Proxy * Nat) (arg :: Nat) :: a

type family Subtract (a :: a) (a :: a) :: a where ...

Equations

Subtract x y = Apply (Apply (:-$) y) x

Defunctionalization symbols

data (:+$) l

Instances

SuppressUnusedWarnings (TyFun a1627817219 (TyFun a1627817219 a1627817219 -> Type) -> *) ((:+$) a1627817219)

Methods

suppressUnusedWarnings :: Proxy ((:+$) a1627817219) t -> ()

type Apply a1627817219 (TyFun a1627817219 a1627817219 -> Type) ((:+$) a1627817219) l0

type Apply a1627817219 (TyFun a1627817219 a1627817219 -> Type) ((:+$) a1627817219) l0 = (:+$$) a1627817219 l0

data l :+$$ l

Instances

SuppressUnusedWarnings (a1627817219 -> TyFun a1627817219 a1627817219 -> *) ((:+$$) a1627817219)

Methods

suppressUnusedWarnings :: Proxy ((:+$$) a1627817219) t -> ()

type Apply a1627817219 a1627817219 ((:+$$) a1627817219 l1) l0

type Apply a1627817219 a1627817219 ((:+$$) a1627817219 l1) l0 = (:+$$$) a1627817219 l1 l0

type (:+$$$) t t = (:+) t t

data (:-$) l

Instances

SuppressUnusedWarnings (TyFun a1627817219 (TyFun a1627817219 a1627817219 -> Type) -> *) ((:-$) a1627817219)

Methods

suppressUnusedWarnings :: Proxy ((:-$) a1627817219) t -> ()

type Apply a1627817219 (TyFun a1627817219 a1627817219 -> Type) ((:-$) a1627817219) l0

type Apply a1627817219 (TyFun a1627817219 a1627817219 -> Type) ((:-$) a1627817219) l0 = (:-$$) a1627817219 l0

data l :-$$ l

Instances

SuppressUnusedWarnings (a1627817219 -> TyFun a1627817219 a1627817219 -> *) ((:-$$) a1627817219)

Methods

suppressUnusedWarnings :: Proxy ((:-$$) a1627817219) t -> ()

type Apply a1627817219 a1627817219 ((:-$$) a1627817219 l1) l0

type Apply a1627817219 a1627817219 ((:-$$) a1627817219 l1) l0 = (:-$$$) a1627817219 l1 l0

type (:-$$$) t t = (:-) t t

data (:*$) l

Instances

SuppressUnusedWarnings (TyFun a1627817219 (TyFun a1627817219 a1627817219 -> Type) -> *) ((:*$) a1627817219)

Methods

suppressUnusedWarnings :: Proxy ((:*$) a1627817219) t -> ()

type Apply a1627817219 (TyFun a1627817219 a1627817219 -> Type) ((:*$) a1627817219) l0

type Apply a1627817219 (TyFun a1627817219 a1627817219 -> Type) ((:*$) a1627817219) l0 = (:*$$) a1627817219 l0

data l :*$$ l

Instances

SuppressUnusedWarnings (a1627817219 -> TyFun a1627817219 a1627817219 -> *) ((:*$$) a1627817219)

Methods

suppressUnusedWarnings :: Proxy ((:*$$) a1627817219) t -> ()

type Apply a1627817219 a1627817219 ((:*$$) a1627817219 l1) l0

type Apply a1627817219 a1627817219 ((:*$$) a1627817219 l1) l0 = (:*$$$) a1627817219 l1 l0

type (:*$$$) t t = (:*) t t

data NegateSym0 l

Instances

SuppressUnusedWarnings (TyFun a1627817219 a1627817219 -> *) (NegateSym0 a1627817219)

Methods

suppressUnusedWarnings :: Proxy (NegateSym0 a1627817219) t -> ()

type Apply a1627817219 a1627817219 (NegateSym0 a1627817219) l0

type Apply a1627817219 a1627817219 (NegateSym0 a1627817219) l0 = NegateSym1 a1627817219 l0

type NegateSym1 t = Negate t

data AbsSym0 l

Instances

SuppressUnusedWarnings (TyFun a1627817219 a1627817219 -> *) (AbsSym0 a1627817219)

Methods

suppressUnusedWarnings :: Proxy (AbsSym0 a1627817219) t -> ()

type Apply a1627817219 a1627817219 (AbsSym0 a1627817219) l0

type Apply a1627817219 a1627817219 (AbsSym0 a1627817219) l0 = AbsSym1 a1627817219 l0

type AbsSym1 t = Abs t

data SignumSym0 l

Instances

SuppressUnusedWarnings (TyFun a1627817219 a1627817219 -> *) (SignumSym0 a1627817219)

Methods

suppressUnusedWarnings :: Proxy (SignumSym0 a1627817219) t -> ()

type Apply a1627817219 a1627817219 (SignumSym0 a1627817219) l0

type Apply a1627817219 a1627817219 (SignumSym0 a1627817219) l0 = SignumSym1 a1627817219 l0

type SignumSym1 t = Signum t

data FromIntegerSym0 l

Instances

SuppressUnusedWarnings (TyFun Nat a1627817219 -> *) (FromIntegerSym0 a1627817219)

Methods

suppressUnusedWarnings :: Proxy (FromIntegerSym0 a1627817219) t -> ()

type Apply Nat k2 (FromIntegerSym0 k2) l0

type Apply Nat k2 (FromIntegerSym0 k2) l0 = FromIntegerSym1 k2 l0

type FromIntegerSym1 t = FromInteger t

data SubtractSym0 l

Instances

SuppressUnusedWarnings (TyFun a1627819601 (TyFun a1627819601 a1627819601 -> Type) -> *) (SubtractSym0 a1627819601)

Methods

suppressUnusedWarnings :: Proxy (SubtractSym0 a1627819601) t -> ()

type Apply a1627819601 (TyFun a1627819601 a1627819601 -> Type) (SubtractSym0 a1627819601) l0

type Apply a1627819601 (TyFun a1627819601 a1627819601 -> Type) (SubtractSym0 a1627819601) l0 = SubtractSym1 a1627819601 l0

data SubtractSym1 l l

Instances

SuppressUnusedWarnings (a1627819601 -> TyFun a1627819601 a1627819601 -> *) (SubtractSym1 a1627819601)

Methods

suppressUnusedWarnings :: Proxy (SubtractSym1 a1627819601) t -> ()

type Apply a1627819601 a1627819601 (SubtractSym1 a1627819601 l1) l0

type Apply a1627819601 a1627819601 (SubtractSym1 a1627819601 l1) l0 = SubtractSym2 a1627819601 l1 l0

type SubtractSym2 t t = Subtract t t