Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Tuples-of-Functions
Type ToF
Type ToFIf
type family ToFIf t a next :: Type where ... Source #
Transform a type (a)
to Tuples-of-Functions returning (next)
.
The (t)
parameter is to avoid overlapping instances of UnToFIf
.
Type IsToF
Type Endpoint
newtype Endpoint end a Source #
Endpoint | |
|