Inferno.Types.Module

Documentation

data Module objs

Constructors

Module

Fields

• moduleName :: ModuleName
• moduleOpsTable :: OpsTable
• moduleTypeClasses :: Set TypeClass
• moduleObjects :: objs

Instances

FromJSON objs => FromJSON (Module objs)

Defined in Inferno.Types.Module

Methods

parseJSON :: Value -> Parser (Module objs)

parseJSONList :: Value -> Parser [Module objs]

ToJSON objs => ToJSON (Module objs)

Defined in Inferno.Types.Module

Methods

toJSON :: Module objs -> Value

toEncoding :: Module objs -> Encoding

toJSONList :: [Module objs] -> Value

toEncodingList :: [Module objs] -> Encoding

Generic (Module objs)

Defined in Inferno.Types.Module

Associated Types

type Rep (Module objs) :: Type -> Type

Methods

from :: Module objs -> Rep (Module objs) x

to :: Rep (Module objs) x -> Module objs

Eq objs => Eq (Module objs)

Defined in Inferno.Types.Module

Methods

(==) :: Module objs -> Module objs -> Bool

(/=) :: Module objs -> Module objs -> Bool

VCHashUpdate objs => VCHashUpdate (Module objs)

Defined in Inferno.Types.Module

Methods

(&<) :: Context SHA256 -> Module objs -> Context SHA256

type Rep (Module objs)

Defined in Inferno.Types.Module

type Rep (Module objs) = D1 ('MetaData "Module" "Inferno.Types.Module" "inferno-types-0.1.0.0-EKMmIlZ8z5b3mVEUhFR81D" 'False) (C1 ('MetaCons "Module" 'PrefixI 'True) ((S1 ('MetaSel ('Just "moduleName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModuleName) :*: S1 ('MetaSel ('Just "moduleOpsTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OpsTable)) :*: (S1 ('MetaSel ('Just "moduleTypeClasses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TypeClass)) :*: S1 ('MetaSel ('Just "moduleObjects") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 objs))))

newtype BuiltinModuleHash

Constructors

BuiltinModuleHash ModuleName

Instances

Generic BuiltinModuleHash

Defined in Inferno.Types.Module

Associated Types

type Rep BuiltinModuleHash :: Type -> Type

Methods

from :: BuiltinModuleHash -> Rep BuiltinModuleHash x

to :: Rep BuiltinModuleHash x -> BuiltinModuleHash

VCHashUpdate BuiltinModuleHash

Defined in Inferno.Types.Module

Methods

(&<) :: Context SHA256 -> BuiltinModuleHash -> Context SHA256

type Rep BuiltinModuleHash

Defined in Inferno.Types.Module

type Rep BuiltinModuleHash = D1 ('MetaData "BuiltinModuleHash" "Inferno.Types.Module" "inferno-types-0.1.0.0-EKMmIlZ8z5b3mVEUhFR81D" 'True) (C1 ('MetaCons "BuiltinModuleHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModuleName)))

newtype BuiltinFunHash

Constructors

BuiltinFunHash (Expr () (), TCScheme)

Instances

Generic BuiltinFunHash

Defined in Inferno.Types.Module

Associated Types

type Rep BuiltinFunHash :: Type -> Type

Methods

from :: BuiltinFunHash -> Rep BuiltinFunHash x

to :: Rep BuiltinFunHash x -> BuiltinFunHash

VCHashUpdate BuiltinFunHash

Defined in Inferno.Types.Module

Methods

(&<) :: Context SHA256 -> BuiltinFunHash -> Context SHA256

type Rep BuiltinFunHash

Defined in Inferno.Types.Module

type Rep BuiltinFunHash = D1 ('MetaData "BuiltinFunHash" "Inferno.Types.Module" "inferno-types-0.1.0.0-EKMmIlZ8z5b3mVEUhFR81D" 'True) (C1 ('MetaCons "BuiltinFunHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr () (), TCScheme))))

newtype BuiltinEnumHash

Constructors

BuiltinEnumHash TCScheme

Instances

Generic BuiltinEnumHash

Defined in Inferno.Types.Module

Associated Types

type Rep BuiltinEnumHash :: Type -> Type

Methods

from :: BuiltinEnumHash -> Rep BuiltinEnumHash x

to :: Rep BuiltinEnumHash x -> BuiltinEnumHash

VCHashUpdate BuiltinEnumHash

Defined in Inferno.Types.Module

Methods

(&<) :: Context SHA256 -> BuiltinEnumHash -> Context SHA256

type Rep BuiltinEnumHash

Defined in Inferno.Types.Module

type Rep BuiltinEnumHash = D1 ('MetaData "BuiltinEnumHash" "Inferno.Types.Module" "inferno-types-0.1.0.0-EKMmIlZ8z5b3mVEUhFR81D" 'True) (C1 ('MetaCons "BuiltinEnumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TCScheme)))

type PinnedModule m = Module (Map Namespace VCObjectHash, Map VCObjectHash (TypeMetadata TCScheme), m)

pinnedModuleNameToHash :: PinnedModule m -> Map Namespace VCObjectHash

pinnedModuleHashToTy :: PinnedModule m -> Map VCObjectHash (TypeMetadata TCScheme)

pinnedModuleTerms :: PinnedModule m -> m