Module
TypedEnv
- Package
- purescript-typedenv
- Repository
- nsaunders/purescript-typedenv
The base module for the TypedEnv library
#Variable Source
#VariableFlipped Source
type VariableFlipped ty name = Variable name ty
An alias for Variable
with the parameters reversed
#type (<:) Source
Operator alias for TypedEnv.VariableFlipped (right-associative / precedence 5)
An alias for VariableFlipped
#envErrorMessage Source
envErrorMessage :: EnvError -> String
Gets the error message for a given EnvError
value.
#ParseValue Source
class ParseValue ty where
Parses a String
value to the specified type.
Members
parseValue :: String -> Maybe ty
Instances
#ReadEnv Source
#ReadEnvFields Source
class ReadEnvFields (el :: RowList) (rl :: RowList) (r :: Row Type) | el -> rl where
Transforms a list of environment variable specifications to a record.
Members
Instances
(IsSymbol name, IsSymbol varName, ListToRow rlt rt, ReadEnvFields elt rlt rt, Lacks name rt, Cons name ty rt r, ReadValue ty) => ReadEnvFields (Cons name (Variable varName ty) elt) (Cons name ty rlt) r
(TypeEquals (Record ()) (Record row)) => ReadEnvFields Nil Nil row
- Modules
- TypedEnv