package herdtools7

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Predicates on types
Relations on types

package herdtools7

Herdtools7
- README
- Library herdtools7.asllib
  - Asllib
    
    AST
    
    ASTUtils
    
    ISet
    
    IMap
    
    Infix
    
    Backend
    
    S
    
    Bitvector
    
    Builder
    
    Diet
    
    ELT
    
    INTERVAL_SET
    
    Interval
    
    Make
    
    Interval
    
    Int
    
    Interval
    
    Int64
    
    Interval
    
    Z
    
    Interval
    
    Env
    
    RunTimeConf
    
    RunTime
    
    Error
    
    Gparser0
    
    Instrumentation
    
    SemanticsRule
    
    SemanticsCmp
    
    TypingRule
    
    TypingCmp
    
    SemanticsSet
    
    TypingSet
    
    SemanticsMap
    
    TypingsMap
    
    SEMINSTR
    
    TYPINSTR
    
    SEMBUFFER
    
    TYPBUFFER
    
    SemMake
    
    TypMake
    
    SemanticsNoBuffer
    
    TypingNoBuffer
    
    SemanticsSingleBuffer
    
    TypingSingleBuffer
    
    SemanticsSingleSetBuffer
    
    TypingSingleSetBuffer
    
    SemanticsNoInstr
    
    TypingNoInstr
    
    SemanticsSingleInstr
    
    TypingSingleInstr
    
    SemanticsSingleSetInstr
    
    TypingSingleSetInstr
    
    Interpreter
    
    S
    
    B
    
    Config
    
    Instr
    
    Make
    
    B
    
    Lexer
    
    Lexer0
    
    Native
    
    NativeBackend
    
    NativeInterpreter
    
    B
    
    PP
    
    Parser
    
    Parser0
    
    RepeatableLexer
    
    Serialize
    
    SimpleLexer0
    
    Splitasl
    
    StaticEnv
    
    StaticInterpreter
    
    SEnv
    
    Normalize
    
    AtomOrdered
    
    AMap
    
    MonomialOrdered
    
    MMap
    
    PolynomialOrdered
    
    PMap
    
    Storage
    
    TopoSort
    
    ASTFold
    
    OrderedHashedType
    
    Make
    
    Properties
    
    Types
    
    Domain
    
    Typing
    
    Version
- Sources
  - herdtools7.asllib
    
    ASTUtils.ml
    
    Interpreter.ml
    
    Lexer.ml
    
    Native.ml
    
    PP.ml
    
    Parser.ml
    
    Serialize.ml
    
    StaticEnv.ml
    
    StaticInterpreter.ml
    
    TopoSort.ml
    
    Typing.ml
    
    Version.ml
    
    asllib.ml
    
    bitvector.ml
    
    builder.ml
    
    diet.ml
    
    env.ml
    
    error.ml
    
    instrumentation.ml
    
    splitasl.ml
    
    storage.ml
    
    types.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Asllib.Types`Source

Type Algebra

Types are defined as AST.ty. This should map pretty-well with the current version of the Language Reference Manual.

Sourcetype env = StaticEnv.env

Predicates on types

Sourceval is_builtin : AST.ty -> bool

Sourceval is_builtin_singular : AST.ty -> bool

Sourceval is_builtin_aggregate : AST.ty -> bool

Note that a builtin type is either builtin aggregate or builtin singular.

Sourceval is_singular : env -> AST.ty -> bool

Sourceval is_aggregate : env -> AST.ty -> bool

Note that a type is either singular or aggregate.

Sourceval is_named : AST.ty -> bool

Types declared using the type syntax.

Sourceval is_anonymous : AST.ty -> bool

Those not declared using †he type syntax.

Note that a type is either builtin, named or anonymous.

Sourceval is_primitive : AST.ty -> bool

Types that only use the builtin types.

Sourceval is_non_primitive : AST.ty -> bool

Types that are named types or which make use of named types.

Usually for all ty:

  is_non_primitive ty = not (is_primitive ty)

Relations on types

Type transformations

Sourceval make_anonymous : env -> AST.ty -> AST.ty

Replace any named type by its declared type in the environment.

Sourceval get_structure : env -> AST.ty -> AST.ty

The structure of a type is the primitive type that can hold the same values.

Sourceval under_constrained_ty : AST.identifier -> AST.ty

From a declared variable, builds an under-constrained integer.

Sourceval to_well_constrained : AST.ty -> AST.ty

Transform an under-constrained type into a well-constrained integer equal to the parameter that have this type, and leave the other types (such as well-constrained integers) as they are.

Sourceval get_well_constrained_structure : env -> AST.ty -> AST.ty

get_well_constrained_structure env ty quivalent to get_structure env ty |> to_well_constrained.

Domains

Sourcemodule Domain : sig ... end

The domain of a type is the set of values which storagbe element of that type may hold.

Orders on types

Sourceval subtype_satisfies : env -> AST.ty -> AST.ty -> bool

Subtype-satisfation as per Definition TRVR.

Sourceval domain_subtype_satisfies : env -> AST.ty -> AST.ty -> bool

Sourceval structural_subtype_satisfies : env -> AST.ty -> AST.ty -> bool

Sourceval type_satisfies : env -> AST.ty -> AST.ty -> bool

Type-satisfation as per Rule FMXK.

Sourceval type_clashes : env -> AST.ty -> AST.ty -> bool

Type-clashing relation.

Notes:

T subtype-satisfies S implies T and S type-clash
This is an equivalence relation

per Definition VPZZ.

Sourceval subprogram_clashes : env -> AST.func -> AST.func -> bool

Subprogram clashing relation.

per Definition BTBR.

Sourceval lowest_common_ancestor : env -> AST.ty -> AST.ty -> AST.ty option

Lowest common ancestor.

As per Rule YZHM.

package herdtools7

Module Asllib.TypesSource

Predicates on types

Relations on types

Type transformations

Domains

Orders on types

Module `Asllib.Types`Source