| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Servant.API.TypeErrors
Description
This module defines the error messages used in type-level errors. Type-level errors can signal non-existing instances, for instance when a combinator is not applied to the correct number of arguments.
Synopsis
- type PartialApplication (tycls :: k) (expr :: k') = NoInstanceForSub tycls expr :$$: ((( ShowType expr :<>: Text " expects ") :<>: ShowType (Arity expr)) :<>: Text " more arguments")
- type NoInstanceFor (expr :: k) = Text "There is no instance for " :<>: ShowType expr
- type NoInstanceForSub (tycls :: k) (expr :: k') = ((( Text "There is no instance for " :<>: ShowType tycls) :<>: Text " (") :<>: ShowType expr) :<>: Text " :> ...)"
Documentation
type PartialApplication (tycls :: k) (expr :: k') = NoInstanceForSub tycls expr :$$: ((( ShowType expr :<>: Text " expects ") :<>: ShowType (Arity expr)) :<>: Text " more arguments") Source #
No instance exists for
tycls (expr :> ...)
because
expr
is not fully saturated.