Typelevel.Arithmetic.ToInt

class ToIntSingle :: Symbol -> Constraintclass ToIntSingle (sym :: Symbol)  where

Class for internal use only. See ToInt instead.

Members

• toIntSingle :: Proxy sym -> Int

Instances

• ToIntSingle "0"
• ToIntSingle "1"
• ToIntSingle "2"
• ToIntSingle "3"
• ToIntSingle "4"
• ToIntSingle "5"
• ToIntSingle "6"
• ToIntSingle "7"
• ToIntSingle "8"
• ToIntSingle "9"

class ToIntHelper :: Symbol -> Constraintclass ToIntHelper (sym :: Symbol)  where

Members

• toIntHelper :: Proxy sym -> Tuple Int Int

Instances

• ToIntHelper ""
• (Cons head tail sym, ToIntHelper tail, ToIntSingle head) => ToIntHelper sym

class ToInt :: Symbol -> Constraintclass ToInt (sym :: Symbol)  where

Typeclass for converting a typelevel integer represented as a symbol to a value-level integer.

Members

• toInt :: Proxy sym -> Int

  Converts a Symbol representing an Int to an Int

  toInt (term :: _ "123") == 123
  

Instances

• (ToIntHelper sym) => ToInt sym