| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Generators.NEAT.Term
Contents
Description
This file contains 1. A duplicate of the Plutus Core Abstract Syntax (types and terms) 2. A kind checker and a type checker 3. Reduction semantics for types
Synopsis
- data TypeBuiltinG
- data TermConstantG
- = TmIntegerG Kind ()) TypeBuiltinG #
Kind check builtin types.
NOTE: If we make |checkTypeBuiltinG| non-strict in its second argument, lazy-search will only ever return one of the various builtin types. Perhaps this is preferable?
Defined in PlutusCore.Generators.NEAT.Term
Methods
check :: Kind ()) TypeBuiltinG #
Kind check builtin types.
NOTE: If we make |checkTypeBuiltinG| non-strict in its second argument, lazy-search will only ever return one of the various builtin types. Perhaps this is preferable?
Defined in PlutusCore.Generators.NEAT.Term
Methods
check :: Normalized (TypeG tyname)) #
Shared f (Neutral (TypeG tyname)) #
- = TmIntegerG Kind ()) TypeBuiltinG #