Data.Boltzmann.Internal.Annotations

General utilities meant for handing system annotations guiding the tuning and compilation process.

Documentation

withDefault :: Read a => Map String String -> String -> a -> a

Read a given key value of a map with a default fallback.

withString :: Map String String -> String -> String -> String

Read a given key value of a map with a default string fallback.

withDouble :: Map String String -> String -> Double -> Double

withDefault specialised to doubles.

withInt :: Map String String -> String -> Int -> Int

withDefault specialised to ints.

withBool :: Map String String -> String -> Bool -> Bool

withDefault specialised to bools.