Safe Haskell	None
Language	Haskell2010

Overloaded.Numerals

Description

Another way to desugar overloaded numeric literals. See FromNumeral.

Synopsis

class FromNumeral (n :: Nat) a where
- fromNumeral :: a
defaultFromNumeral :: forall n a. (KnownNat n, Integral a) => a

Documentation

class FromNumeral (n :: Nat) a where Source #

Another way to desugar numerals.

A numeric literal 123 is desugared to

fromNumeral @123

Enabled with:

{-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:Numerals #-}

One can do type-level computations with this.

Methods

fromNumeral :: a Source #

Instances

Instances details

(KnownNat n, (1 <=? n) ~ 'True) => FromNumeral n BinP Source #
Instance details Defined in Overloaded.Numerals Methods fromNumeral :: BinP Source #
KnownNat n => FromNumeral n Bin Source #
Instance details Defined in Overloaded.Numerals Methods fromNumeral :: Bin Source #
KnownNat n => FromNumeral n Nat Source #
Instance details Defined in Overloaded.Numerals Methods fromNumeral :: Nat Source #
(KnownNat n, OverflowCheck n "Word8" (n <=? 18446744073709551615)) => FromNumeral n Word64 Source #
Instance details Defined in Overloaded.Numerals Methods fromNumeral :: Word64 Source #
(KnownNat n, OverflowCheck n "Word8" (n <=? 4294967295)) => FromNumeral n Word32 Source #
Instance details Defined in Overloaded.Numerals Methods fromNumeral :: Word32 Source #
(KnownNat n, OverflowCheck n "Word8" (n <=? 65535)) => FromNumeral n Word16 Source #
Instance details Defined in Overloaded.Numerals Methods fromNumeral :: Word16 Source #
(KnownNat n, OverflowCheck n "Word8" (n <=? 255)) => FromNumeral n Word8 Source #
Instance details Defined in Overloaded.Numerals Methods fromNumeral :: Word8 Source #
KnownNat n => FromNumeral n Int Source #	TODO: currently there is no range check
Instance details Defined in Overloaded.Numerals Methods fromNumeral :: Int Source #
KnownNat n => FromNumeral n Integer Source #
Instance details Defined in Overloaded.Numerals Methods fromNumeral :: Integer Source #
KnownNat n => FromNumeral n Natural Source #
Instance details Defined in Overloaded.Numerals Methods fromNumeral :: Natural Source #
(PosFromNumeral (FromGHC n) b, IsLess n (ToGHC b)) => FromNumeral n (Pos ('BP b)) Source #
Instance details Defined in Overloaded.Numerals Methods fromNumeral :: Pos ('BP b) Source #
(PosFromNumeral (FromGHC n) b, IsLess n (ToGHC b)) => FromNumeral n (PosP b) Source #
Instance details Defined in Overloaded.Numerals Methods fromNumeral :: PosP b Source #
(FinFromNumeral (FromGHC n) m, IsLess n (ToGHC m)) => FromNumeral n (Fin m) Source #
Instance details Defined in Overloaded.Numerals Methods fromNumeral :: Fin m Source #

defaultFromNumeral :: forall n a. (KnownNat n, Integral a) => a Source #

Default implementation of fromNumeral.

Usage example:

instance (KnownNat n, ...) => FromNumeral n MyType where
    fromNumeral = defaultFromNumeral @n