| definition: |
readData :: ReadWrite a => String -> Maybe a
readData ls =
let n@(_,t,_,_) = parseInput ls
result = calc n
in if ppType (typeOf (fst result)) == t
then Just $ fst result
else Nothing
where
calc (sLen,_,encoding,strings) =
readRW (T.fromList $ zip (map (intToASCII sLen) (enumFrom 0)) strings)
encoding
|
| demand: |
argument 1 |
| deterministic: |
deterministic operation |
| documentation: |
--- Parses a compact data representation and returns the value. --- If the parse failes (e.g. due to a type mismatch), `Nothing` is returned. --- --- This operation might fail if the input is not well-formed. |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_) |-> _}
|
| name: |
readData |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
ReadWrite a => String -> Prelude.Maybe a |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |