Safe Haskell	Safe-Inferred
Language	Haskell2010

Inferno.Types.Module

Documentation

data Module objs Source #

Constructors

Module
Fields moduleName :: ModuleName moduleOpsTable :: OpsTable moduleTypeClasses :: Set TypeClass moduleObjects :: objs

Instances

Instances details

FromJSON objs => FromJSON (Module objs) Source #
Instance details Defined in Inferno.Types.Module Methods parseJSON :: Value -> Parser (Module objs) # parseJSONList :: Value -> Parser [Module objs] #
ToJSON objs => ToJSON (Module objs) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Inferno.Types.Module Methods (==) :: Module objs -> Module objs -> Bool # (/=) :: Module objs -> Module objs -> Bool #
VCHashUpdate objs => VCHashUpdate (Module objs) Source #
Instance details Defined in Inferno.Types.Module Methods (&<) :: Context SHA256 -> Module objs -> Context SHA256 Source #
type Rep (Module objs) Source #
Instance details 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 Source #

Constructors

BuiltinModuleHash ModuleName

Instances

Instances details

Generic BuiltinModuleHash Source #
Instance details 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 Source #
Instance details Defined in Inferno.Types.Module Methods (&<) :: Context SHA256 -> BuiltinModuleHash -> Context SHA256 Source #
type Rep BuiltinModuleHash Source #
Instance details 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 Source #

Constructors

BuiltinFunHash (Expr () (), TCScheme)

Instances

Instances details

Generic BuiltinFunHash Source #
Instance details 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 Source #
Instance details Defined in Inferno.Types.Module Methods (&<) :: Context SHA256 -> BuiltinFunHash -> Context SHA256 Source #
type Rep BuiltinFunHash Source #
Instance details 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 Source #

Constructors

BuiltinEnumHash TCScheme

Instances

Instances details

Generic BuiltinEnumHash Source #
Instance details 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 Source #
Instance details Defined in Inferno.Types.Module Methods (&<) :: Context SHA256 -> BuiltinEnumHash -> Context SHA256 Source #
type Rep BuiltinEnumHash Source #
Instance details 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) Source #

pinnedModuleNameToHash :: PinnedModule m -> Map Namespace VCObjectHash Source #

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

pinnedModuleTerms :: PinnedModule m -> m Source #