Portability | see LANGUAGE pragmas (... GHC) |
---|---|
Stability | experimental |
Maintainer | nicolas.frisby@gmail.com |
Safe Haskell | None |
The spine-view on types.
Documentation
[qK|...|]
is the a type that takes one parameter of the corresponding
kind. (The name is an encoding of that parameter's kind based on prefix
notation for application.)
The Spine
type family represents its argument as either a TypeName
or
an application via :@
.