Prospero.InputValue

data InputValue

Constructors

• InputString String
• InputInt Int
• InputNumber Number
• InputBoolean Boolean
• InputEnum String
• InputObject (Map String InputValue)
• InputList (Array InputValue)
• InputNull

Instances

• Eq InputValue
• Ord InputValue
• Show InputValue

data InputError

Constructors

• MissingArgument String
• TypeMismatch { expected :: String, got :: InputValue }
• ArgumentError { argument :: String, error :: InputError }
• UnknownEnumValue String

Instances

• Eq InputError
• Show InputError

class FromInputValue a  where

Members

• fromInputValue :: InputValue -> Either InputError a

Instances

• FromInputValue String
• FromInputValue Int
• FromInputValue Number
• FromInputValue Boolean
• (FromInputValue a) => FromInputValue (Maybe a)
• (FromInputValue a) => FromInputValue (Array a)
• (FromInputValue a) => FromInputValue (Defaulted value a)
• (RowToList r rl, FromInputRecord rl r) => FromInputValue (Record r)

newtypeFromInputValue :: forall a r rl. Newtype a (Record r) => RowToList r rl => FromInputRecord rl r => InputValue -> Either InputError a

class FromInputRecord :: RowList Type -> Row Type -> Constraintclass FromInputRecord rl r | rl -> r where

Members

• fromInputRecord :: Proxy rl -> Map String InputValue -> Either InputError (Record r)

Instances

• FromInputRecord Nil ()
• (IsSymbol name, FromInputValue ty, FromInputRecord tail tailRow, Cons name ty tailRow r, Lacks name tailRow) => FromInputRecord (Cons name ty tail) r