Type.Data.Peano.Int.Parse

class ParseInt (sym :: Symbol) (int :: Int) | int -> sym, sym -> int

Parse a Int from a Symbol

ParseInt "-10" N10
ParseInt "1337" P1337 -- P1137 would be type alias for Pos (Succ^1337 Z)

Instances

• (Equals "-" head isMinus, If isMinus (IProxy (Neg natValue)) (IProxy (Pos natValue)) (IProxy int), If isMinus (SProxy tail) (SProxy sym) (SProxy numberSymbol), Cons head tail sym, ParseNat numberSymbol natValue) => ParseInt sym int

parseInt :: forall sym a. ParseInt sym a => SProxy sym -> IProxy a

parse Int a Value-Level

parseInt (undefined :: SProxy "-1337") N1337 
    -- N1137 would be type alias for Neg (Succ^1337 Z)