Documentation

runReplSpec :: Typeable b => SpecFilesWithOverrides -> SpecMetaArgs -> (RuntimeEnv -> RawInterpretedSpec b -> YamlSpec b -> IO a) -> IO a #

runRepl :: Typeable b => SpecFilesWithOverrides -> SpecMetaArgs -> (RuntimeEnv -> RawInterpretedSpec b -> BackendConn b -> YamlSpec b -> StatsM b a) -> IO a #

runSpecProgram :: (Typeable b, SimpleTypeName b 'TyInteger, SimpleTypeName b 'TySmallInt, SimpleTypeName b 'TyBigInt, SimpleTypeName b 'TyDecimal, SimpleTypeName b 'TyReal, SimpleTypeName b 'TyDouble, SimpleTypeName b 'TyBool, SimpleTypeName b 'TyBlob, SimpleTypeName b 'TyChar, SimpleTypeName b 'TyVarChar, SimpleTypeName b 'TyDate, SimpleTypeName b 'TyTimestamp, SimpleTypeName b 'TyDatetime, BackendOperators b, NapkinParserDialect b, HasBackendQueryStats b, Backend b, CSVImport b, RenderSql (CreateRelation b) b, InterpreterBackendSupport b, RunBackendEffect b, Default (BackendTableMeta b), Default (BackendViewMeta b), MaybeDefault (YamlBackendMaterializedViewMeta b), HasBackendSchemaField b, ToDumpItem b (BackendSpecificEffect b), Show (BackendTableMeta b), Show (BackendViewMeta b), Show (BackendMaterializedViewMeta b), Eq (BackendTableMeta b), Eq (BackendViewMeta b), Eq (BackendMaterializedViewMeta b)) => SpecFilesWithOverrides -> SpecMetaArgs -> Ref Table -> Sem '[Assertion :: (Type -> Type) -> Type -> Type, Reader TargetName, RecreateTable b :: (Type -> Type) -> Type -> Type, External :: (Type -> Type) -> Type -> Type, Output TableMemo :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type, Input RandomToken :: (Type -> Type) -> Type -> Type, Time :: (Type -> Type) -> Type -> Type, Output LogLine :: (Type -> Type) -> Type -> Type, SqlRender :: (Type -> Type) -> Type -> Type, SqlParse :: (Type -> Type) -> Type -> Type, SqlRead b :: (Type -> Type) -> Type -> Type, SqlWrite b :: (Type -> Type) -> Type -> Type, Input TemporaryTableName :: (Type -> Type) -> Type -> Type, BackendSpecificEffect b, AnnotateRead b :: (Type -> Type) -> Type -> Type, AnnotateWrite b :: (Type -> Type) -> Type -> Type, LocalFile :: (Type -> Type) -> Type -> Type, Template :: (Type -> Type) -> Type -> Type, LoadQuery :: (Type -> Type) -> Type -> Type, Reader QueryTransformer, Output ExtraDependencies :: (Type -> Type) -> Type -> Type, Reader HiddenDependencies, Reader HiddenArtifacts, Input MetaArguments :: (Type -> Type) -> Type -> Type, Reader SQLDialect, Reader ConnectionString, Fail :: (Type -> Type) -> Type -> Type] a -> IO (Either NapkinEffectError a) #

runHookProgram :: (Typeable b, SimpleTypeName b 'TyInteger, SimpleTypeName b 'TySmallInt, SimpleTypeName b 'TyBigInt, SimpleTypeName b 'TyDecimal, SimpleTypeName b 'TyReal, SimpleTypeName b 'TyDouble, SimpleTypeName b 'TyBool, SimpleTypeName b 'TyBlob, SimpleTypeName b 'TyChar, SimpleTypeName b 'TyVarChar, SimpleTypeName b 'TyDate, SimpleTypeName b 'TyTimestamp, SimpleTypeName b 'TyDatetime, BackendOperators b, NapkinParserDialect b, HasBackendQueryStats b, Backend b, CSVImport b, RenderSql (CreateRelation b) b, InterpreterBackendSupport b, RunBackendEffect b, Default (BackendTableMeta b), Default (BackendViewMeta b), MaybeDefault (YamlBackendMaterializedViewMeta b), HasBackendSchemaField b, ToDumpItem b (BackendSpecificEffect b), Show (BackendTableMeta b), Show (BackendViewMeta b), Show (BackendMaterializedViewMeta b), Eq (BackendTableMeta b), Eq (BackendViewMeta b), Eq (BackendMaterializedViewMeta b)) => SpecFilesWithOverrides -> SpecMetaArgs -> Ref Table -> Sem '[Assertion :: (Type -> Type) -> Type -> Type, Reader TargetName, RecreateTable b :: (Type -> Type) -> Type -> Type, External :: (Type -> Type) -> Type -> Type, Output TableMemo :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type, Input RandomToken :: (Type -> Type) -> Type -> Type, Time :: (Type -> Type) -> Type -> Type, Output LogLine :: (Type -> Type) -> Type -> Type, SqlRender :: (Type -> Type) -> Type -> Type, SqlParse :: (Type -> Type) -> Type -> Type, SqlRead b :: (Type -> Type) -> Type -> Type, SqlWrite b :: (Type -> Type) -> Type -> Type, Input TemporaryTableName :: (Type -> Type) -> Type -> Type, BackendSpecificEffect b, AnnotateRead b :: (Type -> Type) -> Type -> Type, AnnotateWrite b :: (Type -> Type) -> Type -> Type, LocalFile :: (Type -> Type) -> Type -> Type, Template :: (Type -> Type) -> Type -> Type, LoadQuery :: (Type -> Type) -> Type -> Type, Reader QueryTransformer, Output ExtraDependencies :: (Type -> Type) -> Type -> Type, Reader HiddenDependencies, Reader HiddenArtifacts, Input MetaArguments :: (Type -> Type) -> Type -> Type, Reader SQLDialect, Reader ConnectionString, Fail :: (Type -> Type) -> Type -> Type] a -> IO (Either NapkinEffectError (Either (NonEmpty AssertionEntry) ([AssertionEntry], a))) #

runGlobalHookProgram :: (Typeable b, SimpleTypeName b 'TyInteger, SimpleTypeName b 'TySmallInt, SimpleTypeName b 'TyBigInt, SimpleTypeName b 'TyDecimal, SimpleTypeName b 'TyReal, SimpleTypeName b 'TyDouble, SimpleTypeName b 'TyBool, SimpleTypeName b 'TyBlob, SimpleTypeName b 'TyChar, SimpleTypeName b 'TyVarChar, SimpleTypeName b 'TyDate, SimpleTypeName b 'TyTimestamp, SimpleTypeName b 'TyDatetime, BackendOperators b, NapkinParserDialect b, HasBackendQueryStats b, Backend b, CSVImport b, RenderSql (CreateRelation b) b, InterpreterBackendSupport b, RunBackendEffect b, Default (BackendTableMeta b), Default (BackendViewMeta b), MaybeDefault (YamlBackendMaterializedViewMeta b), HasBackendSchemaField b, ToDumpItem b (BackendSpecificEffect b), Show (BackendTableMeta b), Show (BackendViewMeta b), Show (BackendMaterializedViewMeta b), Eq (BackendTableMeta b), Eq (BackendViewMeta b), Eq (BackendMaterializedViewMeta b)) => SpecFilesWithOverrides -> SpecMetaArgs -> Sem '[Embed IO, External :: (Type -> Type) -> Type -> Type, Reader TableMemos, Output TableMemo :: (Type -> Type) -> Type -> Type, Assertion :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type, Input RandomToken :: (Type -> Type) -> Type -> Type, Time :: (Type -> Type) -> Type -> Type, Output LogLine :: (Type -> Type) -> Type -> Type, SqlRender :: (Type -> Type) -> Type -> Type, SqlParse :: (Type -> Type) -> Type -> Type, SqlRead b :: (Type -> Type) -> Type -> Type, SqlWrite b :: (Type -> Type) -> Type -> Type, Input TemporaryTableName :: (Type -> Type) -> Type -> Type, BackendSpecificEffect b, AnnotateRead b :: (Type -> Type) -> Type -> Type, AnnotateWrite b :: (Type -> Type) -> Type -> Type, LocalFile :: (Type -> Type) -> Type -> Type, Template :: (Type -> Type) -> Type -> Type, LoadQuery :: (Type -> Type) -> Type -> Type, Reader QueryTransformer, Output ExtraDependencies :: (Type -> Type) -> Type -> Type, Reader HiddenDependencies, Reader HiddenArtifacts, Input MetaArguments :: (Type -> Type) -> Type -> Type, Reader SQLDialect, Reader ConnectionString, Fail :: (Type -> Type) -> Type -> Type] a -> IO (Either NapkinEffectError (Either (NonEmpty AssertionEntry) ([AssertionEntry], a))) #

runCustomHook :: (Typeable b, SimpleTypeName b 'TyInteger, SimpleTypeName b 'TySmallInt, SimpleTypeName b 'TyBigInt, SimpleTypeName b 'TyDecimal, SimpleTypeName b 'TyReal, SimpleTypeName b 'TyDouble, SimpleTypeName b 'TyBool, SimpleTypeName b 'TyBlob, SimpleTypeName b 'TyChar, SimpleTypeName b 'TyVarChar, SimpleTypeName b 'TyDate, SimpleTypeName b 'TyTimestamp, SimpleTypeName b 'TyDatetime, BackendOperators b, NapkinParserDialect b, HasBackendQueryStats b, Backend b, CSVImport b, RenderSql (CreateRelation b) b, InterpreterBackendSupport b, RunBackendEffect b, Default (BackendTableMeta b), Default (BackendViewMeta b), MaybeDefault (YamlBackendMaterializedViewMeta b), HasBackendSchemaField b, ToDumpItem b (BackendSpecificEffect b), Show (BackendTableMeta b), Show (BackendViewMeta b), Show (BackendMaterializedViewMeta b), Eq (BackendTableMeta b), Eq (BackendViewMeta b), Eq (BackendMaterializedViewMeta b)) => SpecFilesWithOverrides -> SpecMetaArgs -> HookProgramWithArgParser b -> Ref Table -> [(Text, Value)] -> IO (Either NapkinEffectError (Either (NonEmpty AssertionEntry) ([AssertionEntry], ()))) #

runCustomSpec :: (Typeable b, SimpleTypeName b 'TyInteger, SimpleTypeName b 'TySmallInt, SimpleTypeName b 'TyBigInt, SimpleTypeName b 'TyDecimal, SimpleTypeName b 'TyReal, SimpleTypeName b 'TyDouble, SimpleTypeName b 'TyBool, SimpleTypeName b 'TyBlob, SimpleTypeName b 'TyChar, SimpleTypeName b 'TyVarChar, SimpleTypeName b 'TyDate, SimpleTypeName b 'TyTimestamp, SimpleTypeName b 'TyDatetime, BackendOperators b, NapkinParserDialect b, HasBackendQueryStats b, Backend b, CSVImport b, RenderSql (CreateRelation b) b, InterpreterBackendSupport b, RunBackendEffect b, Default (BackendTableMeta b), Default (BackendViewMeta b), MaybeDefault (YamlBackendMaterializedViewMeta b), HasBackendSchemaField b, ToDumpItem b (BackendSpecificEffect b), Show (BackendTableMeta b), Show (BackendViewMeta b), Show (BackendMaterializedViewMeta b), Eq (BackendTableMeta b), Eq (BackendViewMeta b), Eq (BackendMaterializedViewMeta b)) => SpecFilesWithOverrides -> SpecMetaArgs -> SpecProgramWithArgParser b -> Ref Table -> [(Text, Value)] -> IO (Either NapkinEffectError ()) #

fromListText :: [(Text, v)] -> KeyMap v #