Typpx.Default · typpx 1.4.3

typpx

a library for PPX with types

package typpx

typpx
- Typpx
  - Compile
    
    Make
    
    1-Typemod
    
    2-TypedTransformation
  - Compilerlib
    
    Ctype
    
    Ident
    
    Path
    
    Types
  - Debug
  - Default
    
    Typed_identity
    
    Typemod
  - Forge
    
    Dummy
    
    Exp
    
    MB
    
    Mod
    
    Pat
    
    Path
    
    Typ
  - Make
    
    F
    
    1-A
    
    TypedTransformation
    
    Typemod
  - Options
  - S
    
    TypedTransformation
    
    Typemod

Legend:
Library
Module
Module type
Parameter
Class
Class type

Library typpx

Module Typpx . Default

val untyped_identity : Ast_mapper.mapper

The identity of untyped transformation.

Note that this is not equivalent with Ast_mapper.default_mapper but returns the input structure ans signature themselves immediately without any recursive traversal.

module Typemod : S.Typemod

The vanilla OCaml's type inference algorithm

module Typed_identity : S.TypedTransformation

The identity of typed transformation

typpx 1.4.3 1.4.2 1.4.1 1.4.0 1.3.0 1.2.2 1.2.1 1.2.0 1.1.3 1.1.2 1.1.1 1.0.2

typpx