Haskus.Utils.Types

data Nat

data Symbol

natValue

natValue'

symbolValue

class KnownNat n

class KnownSymbol n

type family CmpNat (a :: Nat) (b :: Nat) :: Ordering where ...

type family CmpSymbol (a :: Symbol) (b :: Symbol) :: Ordering where ...

type family (a :: Nat) <=? (b :: Nat) :: Bool where ...

type x <= y

type family (a :: Nat) + (b :: Nat) :: Nat where ...

type family (a :: Nat) - (b :: Nat) :: Nat where ...

type family (a :: Nat) * (b :: Nat) :: Nat where ...

type family (a :: Nat) ^ (b :: Nat) :: Nat where ...

type family If c t e where ...

type family IfNat c (t :: Nat) (e :: Nat) where ...

type family Modulo (a :: Nat) (b :: Nat) where ...

type family Same a b :: Nat where ...

data Proxy k t

type family TypeError b (a :: ErrorMessage) :: b where ...

data ErrorMessage