Inferno.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))))

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

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)))

buildPinnedQQModules :: (MonadError EvalError m, Pretty c) => [(ModuleName, OpsTable, [TopLevelDefn (Either (TCScheme, ImplEnvM m c (Value c (ImplEnvM m c))) (Maybe TCScheme, Expr () SourcePos))])] -> Map ModuleName (PinnedModule (ImplEnvM m c (TermEnv VCObjectHash c (ImplEnvM m c))))

combineTermEnvs :: MonadError EvalError m => Map ModuleName (PinnedModule (ImplEnvM m c (TermEnv VCObjectHash c (ImplEnvM m c)))) -> ImplEnvM m c (TermEnv VCObjectHash c (ImplEnvM m c))

pinnedModuleNameToHash :: PinnedModule m -> Map Namespace VCObjectHash

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

pinnedModuleTerms :: PinnedModule m -> m

class ToValue c m a where

Types that can be converted to script values, allowing IO in the process.

Methods

toValue :: MonadError EvalError m => a -> m (Value c m)

Instances

ToValue c m CTime

Defined in Inferno.Module.Cast

Methods

toValue :: CTime -> m (Value c m)

ToValue c m Int64

Defined in Inferno.Module.Cast

Methods

toValue :: Int64 -> m (Value c m)

ToValue c m Word16

Defined in Inferno.Module.Cast

Methods

toValue :: Word16 -> m (Value c m)

ToValue c m Word32

Defined in Inferno.Module.Cast

Methods

toValue :: Word32 -> m (Value c m)

ToValue c m Word64

Defined in Inferno.Module.Cast

Methods

toValue :: Word64 -> m (Value c m)

ToValue c m Lit

Defined in Inferno.Module.Cast

Methods

toValue :: Lit -> m (Value c m)

ToValue c m Text

Defined in Inferno.Module.Cast

Methods

toValue :: Text -> m (Value c m)

ToValue c m Integer

Defined in Inferno.Module.Cast

Methods

toValue :: Integer -> m (Value c m)

ToValue c m ()

Defined in Inferno.Module.Cast

Methods

toValue :: () -> m (Value c m)

ToValue c m Bool

Defined in Inferno.Module.Cast

Methods

toValue :: Bool -> m (Value c m)

ToValue c m Double

Defined in Inferno.Module.Cast

Methods

toValue :: Double -> m (Value c m)

ToValue c m Int

Defined in Inferno.Module.Cast

Methods

toValue :: Int -> m (Value c m)

ToValue c m a => ToValue c m (Maybe a)

Defined in Inferno.Module.Cast

Methods

toValue :: Maybe a -> m (Value c m)

ToValue c m a => ToValue c m [a]

Defined in Inferno.Module.Cast

Methods

toValue :: [a] -> m (Value c m)

ToValue c m (m (Value c m))

Defined in Inferno.Module.Cast

Methods

toValue :: m (Value c m) -> m (Value c m)

(ToValue c m a, ToValue c m b) => ToValue c m (Either a b)

Defined in Inferno.Module.Cast

Methods

toValue :: Either a b -> m (Value c m)

ToValue c m (Value c m)

Defined in Inferno.Module.Cast

Methods

toValue :: Value c m -> m (Value c m)

(FromValue c m a, ToValue c m b) => ToValue c m (a -> b)

Defined in Inferno.Module.Cast

Methods

toValue :: (a -> b) -> m (Value c m)

(Monad m, FromValue c (ImplEnvM m c) a1, FromValue c (ImplEnvM m c) a2, ToValue c (ImplEnvM m c) a3, KnownSymbol lbl) => ToValue c (ImplEnvM m c) (ImplicitCast lbl a1 a2 a3)

Defined in Inferno.Module.Cast

Methods

toValue :: ImplicitCast lbl a1 a2 a3 -> ImplEnvM m c (Value c (ImplEnvM m c))