Data.Singletons.Prelude.Num

class PNum kproxy

class SNum a

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

sSubtract

Defunctionalization symbols

data (:+$) l

data l :+$$ l

type t :+$$$ t

data (:-$) l

data l :-$$ l

type t :-$$$ t

data (:*$) l

data l :*$$ l

type t :*$$$ t

data NegateSym0 l

type NegateSym1 t

data AbsSym0 l

type AbsSym1 t

data SignumSym0 l

type SignumSym1 t

data FromIntegerSym0 l

type FromIntegerSym1 t

data SubtractSym0 l

data SubtractSym1 l l

type SubtractSym2 t t