Copyright | (C) 2014 Richard Eisenberg |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Richard Eisenberg (eir@cis.upenn.edu) |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Data.Promotion.Prelude.Num
Contents
Description
Defines and exports promoted and singleton versions of definitions from GHC.Num.
- class (kproxy ~ Proxy) => PNum kproxy where
- type family Subtract (a :: a) (a :: a) :: a where ...
- data (:+$) l
- data l :+$$ l
- type (:+$$$) t t = (:+) t t
- data (:-$) l
- data l :-$$ l
- type (:-$$$) t t = (:-) t t
- data (:*$) l
- data l :*$$ l
- type (:*$$$) t t = (:*) t t
- data NegateSym0 l
- type NegateSym1 t = Negate t
- data AbsSym0 l
- type AbsSym1 t = Abs t
- data SignumSym0 l
- type SignumSym1 t = Signum t
- data FromIntegerSym0 l
- type FromIntegerSym1 t = FromInteger t
- data SubtractSym0 l
- data SubtractSym1 l l
- type SubtractSym2 t t = Subtract t t
Documentation
Defunctionalization symbols
data NegateSym0 l #
Instances
SuppressUnusedWarnings (TyFun a6989586621679601146 a6989586621679601146 -> *) (NegateSym0 a6989586621679601146) # | |
type Apply a6989586621679601146 a6989586621679601146 (NegateSym0 a6989586621679601146) l0 # | |
type NegateSym1 t = Negate t #
data SignumSym0 l #
Instances
SuppressUnusedWarnings (TyFun a6989586621679601146 a6989586621679601146 -> *) (SignumSym0 a6989586621679601146) # | |
type Apply a6989586621679601146 a6989586621679601146 (SignumSym0 a6989586621679601146) l0 # | |
type SignumSym1 t = Signum t #
data FromIntegerSym0 l #
Instances
SuppressUnusedWarnings (TyFun Nat a6989586621679601146 -> *) (FromIntegerSym0 a6989586621679601146) # | |
type Apply Nat k2 (FromIntegerSym0 k2) l0 # | |
type FromIntegerSym1 t = FromInteger t #
data SubtractSym0 l #
Instances
SuppressUnusedWarnings (TyFun a6989586621679603462 (TyFun a6989586621679603462 a6989586621679603462 -> Type) -> *) (SubtractSym0 a6989586621679603462) # | |
type Apply a6989586621679603462 (TyFun a6989586621679603462 a6989586621679603462 -> Type) (SubtractSym0 a6989586621679603462) l0 # | |
data SubtractSym1 l l #
Instances
SuppressUnusedWarnings (a6989586621679603462 -> TyFun a6989586621679603462 a6989586621679603462 -> *) (SubtractSym1 a6989586621679603462) # | |
type Apply a6989586621679603462 a6989586621679603462 (SubtractSym1 a6989586621679603462 l0) l1 # | |
type SubtractSym2 t t = Subtract t t #