Safe Haskell | None |
---|---|
Language | Haskell2010 |
this module exports:
Kinds:
Nat Symbol
Classes:
KnownNat n KnownSymbol n
Values:
natVal :: forall n proxy. KnownNat n => proxy n -> Integer symbolVal :: forall n proxy. KnownSymbol n => proxy n -> String
types
type (<=) x y = (x <=? y) ~ True type family m <=? n :: Bool type family m + n :: Nat type family m * n :: Nat type family m * n :: Nat