hydra.dsl.haskell.environment module

DSL functions for hydra.haskell.environment.

hydra.dsl.haskell.environment.haskell_module_metadata(uses_byte_string: hydra.typed.TypedTerm[bool], uses_int: hydra.typed.TypedTerm[bool], uses_map: hydra.typed.TypedTerm[bool], uses_set: hydra.typed.TypedTerm[bool], uses_void: hydra.typed.TypedTerm[bool]) → hydra.typed.TypedTerm[hydra.haskell.environment.HaskellModuleMetadata]

DSL constructor for hydra.haskell.environment.HaskellModuleMetadata.

hydra.dsl.haskell.environment.haskell_module_metadata_uses_byte_string(x: hydra.typed.TypedTerm[hydra.haskell.environment.HaskellModuleMetadata]) → hydra.typed.TypedTerm[bool]

DSL accessor for the usesByteString field of hydra.haskell.environment.HaskellModuleMetadata.

hydra.dsl.haskell.environment.haskell_module_metadata_uses_int(x: hydra.typed.TypedTerm[hydra.haskell.environment.HaskellModuleMetadata]) → hydra.typed.TypedTerm[bool]

DSL accessor for the usesInt field of hydra.haskell.environment.HaskellModuleMetadata.

hydra.dsl.haskell.environment.haskell_module_metadata_uses_map(x: hydra.typed.TypedTerm[hydra.haskell.environment.HaskellModuleMetadata]) → hydra.typed.TypedTerm[bool]

DSL accessor for the usesMap field of hydra.haskell.environment.HaskellModuleMetadata.

hydra.dsl.haskell.environment.haskell_module_metadata_uses_set(x: hydra.typed.TypedTerm[hydra.haskell.environment.HaskellModuleMetadata]) → hydra.typed.TypedTerm[bool]

DSL accessor for the usesSet field of hydra.haskell.environment.HaskellModuleMetadata.

hydra.dsl.haskell.environment.haskell_module_metadata_uses_void(x: hydra.typed.TypedTerm[hydra.haskell.environment.HaskellModuleMetadata]) → hydra.typed.TypedTerm[bool]

DSL accessor for the usesVoid field of hydra.haskell.environment.HaskellModuleMetadata.

hydra.dsl.haskell.environment.haskell_module_metadata_with_uses_byte_string(original: hydra.typed.TypedTerm[hydra.haskell.environment.HaskellModuleMetadata], new_val: hydra.typed.TypedTerm[bool]) → hydra.typed.TypedTerm[hydra.haskell.environment.HaskellModuleMetadata]

DSL updater for the usesByteString field of hydra.haskell.environment.HaskellModuleMetadata.

hydra.dsl.haskell.environment.haskell_module_metadata_with_uses_int(original: hydra.typed.TypedTerm[hydra.haskell.environment.HaskellModuleMetadata], new_val: hydra.typed.TypedTerm[bool]) → hydra.typed.TypedTerm[hydra.haskell.environment.HaskellModuleMetadata]

DSL updater for the usesInt field of hydra.haskell.environment.HaskellModuleMetadata.

hydra.dsl.haskell.environment.haskell_module_metadata_with_uses_map(original: hydra.typed.TypedTerm[hydra.haskell.environment.HaskellModuleMetadata], new_val: hydra.typed.TypedTerm[bool]) → hydra.typed.TypedTerm[hydra.haskell.environment.HaskellModuleMetadata]

DSL updater for the usesMap field of hydra.haskell.environment.HaskellModuleMetadata.

hydra.dsl.haskell.environment.haskell_module_metadata_with_uses_set(original: hydra.typed.TypedTerm[hydra.haskell.environment.HaskellModuleMetadata], new_val: hydra.typed.TypedTerm[bool]) → hydra.typed.TypedTerm[hydra.haskell.environment.HaskellModuleMetadata]

DSL updater for the usesSet field of hydra.haskell.environment.HaskellModuleMetadata.

hydra.dsl.haskell.environment.haskell_module_metadata_with_uses_void(original: hydra.typed.TypedTerm[hydra.haskell.environment.HaskellModuleMetadata], new_val: hydra.typed.TypedTerm[bool]) → hydra.typed.TypedTerm[hydra.haskell.environment.HaskellModuleMetadata]

DSL updater for the usesVoid field of hydra.haskell.environment.HaskellModuleMetadata.