Idris2Doc : Libraries.Utils.Octal

Libraries.Utils.Octal

(source)
Definitions
asOct : Int -> String
  Convert a positive integer into a list of octal characters

  Totality: total
  Visibility: export
fromOctDigit : Char -> Maybe Int
  Totality: total
  Visibility: export
fromOctChars : List Char -> Maybe Integer
  Totality: total
  Visibility: export
fromOct : String -> Maybe Integer
  Totality: total
  Visibility: export