Read package:foundation

The Reader monad transformer. This is useful to keep a non-modifiable value in a context

Reader Transformer

Read a binary file and return the whole content in one contiguous buffer.

Try to read a Double

Read an Floating like number of the form:

• - numbers [ . numbers ] [ ( e | E ) [ - ] number ]

Call a function with:

• A boolean representing if the number is negative
• The digits part represented as a single natural number (123.456 is represented as 123456)
• The number of digits in the fractional part (e.g. 123.456 => 3)
• The exponent if any

The code is structured as a simple state machine that:

• Optionally Consume a - sign
• Consume number for the integral part
• Optionally
• Consume .
• Consume remaining digits if not already end of string
• Optionally Consume a e or E follow by an optional - and a number

Read an Integer from a String Consume an optional minus sign and many digits until end of string.

Read a Natural from a String Consume many digits until end of string.

Try to read a floating number as a Rational Note that for safety reason, only exponent between -10000 and 10000 is allowed as otherwise DoS/OOM is very likely. if you don't want this behavior, switching to a scientific type (not provided yet) that represent the exponent separately is the advised solution.

Map in memory the whole content of a file. Once the array goes out of scope, the memory get (eventually) unmap

Map in memory the whole content of a file,

Read a value from Addr in a specific primitive monad

Read an element at an index in a mutable array

Read the variable in the Prim Monad