On This Page
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package ppx_deriving_madcast
Module MadcastSource
Main access point
madcast ty returns an annotated casting function of type ty. ty must be an arrow type.
- Raise
Invalid_argument "split_arrow"iftyis not an arrow type,
- Raise
NoCastFoundif no casting function can be derived,
- Raise
SeveralCastsFoundif more than one casting function can be derived and none of them has a stronger priority.
Exceptions
Exception raised when no cast can be derived for two types
Exception raised when more than cast can be derived for two types
Lower-level access points
Source
val find_caster :
Ppxlib.Parsetree.core_type ->
Ppxlib.Parsetree.core_type ->
Ppxlib.Parsetree.expressionGiven an input type itype and an output type otype, returns a casting function of type itype -> otype.
- Raise
NoCastFoundif no casting function can be derived,
- Raise
SeveralCastsFoundif more than one casting function can be derived and none of them has a stronger priority.
Source
val split_arrow :
Ppxlib.Parsetree.core_type ->
Ppxlib.Parsetree.core_type * Ppxlib.Parsetree.core_typesplit_arrow ty returns the domain and co-domain of an arrow type.
- Raise
Invalid_argument "split_arrow"iftyis not an arrow type
Source
val annotate :
Ppxlib.Parsetree.expression ->
Ppxlib.Parsetree.core_type ->
Ppxlib.Parsetree.expressionannotate expr ty returns a let expression of the form let (e : ty) = expr in e
On This Page