match package:dhall

match :: Context a -> Maybe (Text, a, Context a)
dhall Dhall.Context
"Pattern match" on a Context 
match (insert k v ctx) = Just (k, v, ctx)
match  empty           = Nothing
data HashMismatch
dhall Dhall.Import
Exception thrown when an integrity check fails
HashMismatch :: SHA256Digest -> SHA256Digest -> HashMismatch
dhall Dhall.Import
TypeMismatch :: InvalidDecoder s a -> ExtractError s a
dhall Dhall.Marshal.Decode
AnnotMismatch :: Expr s a -> Expr s a -> Expr s a -> TypeMessage s a
dhall Dhall.TypeCheck
EquivalenceTypeMismatch :: Expr s a -> Expr s a -> Expr s a -> Expr s a -> TypeMessage s a
dhall Dhall.TypeCheck
HandlerInputTypeMismatch :: Text -> Expr s a -> Expr s a -> TypeMessage s a
dhall Dhall.TypeCheck
HandlerOutputTypeMismatch :: Text -> Expr s a -> Text -> Expr s a -> TypeMessage s a
dhall Dhall.TypeCheck
IfBranchMismatch :: Expr s a -> Expr s a -> Expr s a -> Expr s a -> TypeMessage s a
dhall Dhall.TypeCheck
ListAppendMismatch :: Expr s a -> Expr s a -> TypeMessage s a
dhall Dhall.TypeCheck
MapTypeMismatch :: Expr s a -> Expr s a -> TypeMessage s a
dhall Dhall.TypeCheck
MismatchedListElements :: Int -> Expr s a -> Expr s a -> Expr s a -> TypeMessage s a
dhall Dhall.TypeCheck
OptionalWithTypeMismatch :: TypeMessage s a
dhall Dhall.TypeCheck
ProjectionTypeMismatch :: Text -> Expr s a -> Expr s a -> Expr s a -> Expr s a -> TypeMessage s a
dhall Dhall.TypeCheck
RecordTypeMismatch :: Const -> Const -> Expr s a -> Expr s a -> TypeMessage s a
dhall Dhall.TypeCheck
TypeMismatch :: Expr s a -> Expr s a -> Expr s a -> Expr s a -> TypeMessage s a
dhall Dhall.TypeCheck