napkin-cli
Safe HaskellNone
LanguageGHC2024

Napkin.Cli.Commands

Documentation

data NapCommand (f :: Type -> Type) #

Constructors

NapCommand_ShowVersion

Napkin release version

NapCommand_Run

path to YAML spec file

Fields

NapCommand_CLI 

Fields

NapCommand_Dump 

Fields

NapCommand_Auth

Auth Clean and OAuth Create commands

Fields

NapCommand_Validate 

Fields

NapCommand_Repl

Repl Command Line Options

Fields

NapCommand_Haddock_Online

Open browser page with Napkin Haddock

NapCommand_Docs_Online

Open browser page with Napkin Docs

NapCommand_HieBios

Generate GHC flags for Haskell Language Server

Fields

NapCommand_YamlSchema 

Fields

NapCommand_List

List tables in reference database

Fields

NapCommand_AEDA

Perform AEDA over a given relation

Fields

NapCommand_Cleanup

Remove temporary tables and views

Fields

NapCommand_ListTags

List Tags associated with Tables in Spec

Fields

Instances

Instances details
Generic (NapCommand f) # 
Instance details

Defined in Napkin.Cli.Commands

Associated Types

type Rep (NapCommand f) 
Instance details

Defined in Napkin.Cli.Commands

type Rep (NapCommand f) = D1 ('MetaData "NapCommand" "Napkin.Cli.Commands" "napkin-cli-2.0.0-EC0URnF9YnIELSroGD5Zv8" 'False) (((C1 ('MetaCons "NapCommand_ShowVersion" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NapCommand_Run" 'PrefixI 'True) (S1 ('MetaSel ('Just "commonExecuteOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CommonExecuteOptions f)) :*: S1 ('MetaSel ('Just "runOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RunCommandOptions)) :+: C1 ('MetaCons "NapCommand_CLI" 'PrefixI 'True) (S1 ('MetaSel ('Just "commonExecuteOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CommonExecuteOptions f)) :*: S1 ('MetaSel ('Just "arguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String])))) :+: ((C1 ('MetaCons "NapCommand_Dump" 'PrefixI 'True) (S1 ('MetaSel ('Just "dumpCommandOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DumpCommandOptions)) :+: C1 ('MetaCons "NapCommand_Auth" 'PrefixI 'True) (S1 ('MetaSel ('Just "authCommandOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AuthCommandOptions))) :+: (C1 ('MetaCons "NapCommand_Validate" 'PrefixI 'True) (S1 ('MetaSel ('Just "validateCommandOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidateCommandOptions)) :+: C1 ('MetaCons "NapCommand_Repl" 'PrefixI 'True) (S1 ('MetaSel ('Just "replCommandOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ReplCommandOptions))))) :+: (((C1 ('MetaCons "NapCommand_Haddock_Online" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NapCommand_Docs_Online" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NapCommand_HieBios" 'PrefixI 'True) (S1 ('MetaSel ('Just "hieBiosCommandOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HieBiosCommandOptions)) :+: C1 ('MetaCons "NapCommand_YamlSchema" 'PrefixI 'True) (S1 ('MetaSel ('Just "filePath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)))) :+: ((C1 ('MetaCons "NapCommand_List" 'PrefixI 'True) (S1 ('MetaSel ('Just "commonExecuteOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CommonExecuteOptions f)) :*: S1 ('MetaSel ('Just "listCommandOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ListCommandOptions)) :+: C1 ('MetaCons "NapCommand_AEDA" 'PrefixI 'True) (S1 ('MetaSel ('Just "commonExecuteOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CommonExecuteOptions f)) :*: S1 ('MetaSel ('Just "aedaCommandOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AEDACommandOptions))) :+: (C1 ('MetaCons "NapCommand_Cleanup" 'PrefixI 'True) (S1 ('MetaSel ('Just "commonExecuteOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CommonExecuteOptions f)) :*: S1 ('MetaSel ('Just "cleanupCommandOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CleanupCommandOptions)) :+: C1 ('MetaCons "NapCommand_ListTags" 'PrefixI 'True) (S1 ('MetaSel ('Just "commonExecuteOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CommonExecuteOptions f)))))))

Methods

from :: NapCommand f -> Rep (NapCommand f) x #

to :: Rep (NapCommand f) x -> NapCommand f #

Show (CommonExecuteOptions f) => Show (NapCommand f) # 
Instance details

Defined in Napkin.Cli.Commands

Methods

showsPrec :: Int -> NapCommand f -> ShowS #

show :: NapCommand f -> String #

showList :: [NapCommand f] -> ShowS #

type Rep (NapCommand f) # 
Instance details

Defined in Napkin.Cli.Commands

type Rep (NapCommand f) = D1 ('MetaData "NapCommand" "Napkin.Cli.Commands" "napkin-cli-2.0.0-EC0URnF9YnIELSroGD5Zv8" 'False) (((C1 ('MetaCons "NapCommand_ShowVersion" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NapCommand_Run" 'PrefixI 'True) (S1 ('MetaSel ('Just "commonExecuteOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CommonExecuteOptions f)) :*: S1 ('MetaSel ('Just "runOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RunCommandOptions)) :+: C1 ('MetaCons "NapCommand_CLI" 'PrefixI 'True) (S1 ('MetaSel ('Just "commonExecuteOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CommonExecuteOptions f)) :*: S1 ('MetaSel ('Just "arguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String])))) :+: ((C1 ('MetaCons "NapCommand_Dump" 'PrefixI 'True) (S1 ('MetaSel ('Just "dumpCommandOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DumpCommandOptions)) :+: C1 ('MetaCons "NapCommand_Auth" 'PrefixI 'True) (S1 ('MetaSel ('Just "authCommandOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AuthCommandOptions))) :+: (C1 ('MetaCons "NapCommand_Validate" 'PrefixI 'True) (S1 ('MetaSel ('Just "validateCommandOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidateCommandOptions)) :+: C1 ('MetaCons "NapCommand_Repl" 'PrefixI 'True) (S1 ('MetaSel ('Just "replCommandOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ReplCommandOptions))))) :+: (((C1 ('MetaCons "NapCommand_Haddock_Online" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NapCommand_Docs_Online" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NapCommand_HieBios" 'PrefixI 'True) (S1 ('MetaSel ('Just "hieBiosCommandOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HieBiosCommandOptions)) :+: C1 ('MetaCons "NapCommand_YamlSchema" 'PrefixI 'True) (S1 ('MetaSel ('Just "filePath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)))) :+: ((C1 ('MetaCons "NapCommand_List" 'PrefixI 'True) (S1 ('MetaSel ('Just "commonExecuteOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CommonExecuteOptions f)) :*: S1 ('MetaSel ('Just "listCommandOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ListCommandOptions)) :+: C1 ('MetaCons "NapCommand_AEDA" 'PrefixI 'True) (S1 ('MetaSel ('Just "commonExecuteOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CommonExecuteOptions f)) :*: S1 ('MetaSel ('Just "aedaCommandOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AEDACommandOptions))) :+: (C1 ('MetaCons "NapCommand_Cleanup" 'PrefixI 'True) (S1 ('MetaSel ('Just "commonExecuteOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CommonExecuteOptions f)) :*: S1 ('MetaSel ('Just "cleanupCommandOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CleanupCommandOptions)) :+: C1 ('MetaCons "NapCommand_ListTags" 'PrefixI 'True) (S1 ('MetaSel ('Just "commonExecuteOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CommonExecuteOptions f)))))))

data CLIMode #

Constructors

OnlyParse 
ExecuteCommand 

Instances

Instances details
Show CLIMode # 
Instance details

Defined in Napkin.Cli.Commands

Methods

showsPrec :: Int -> CLIMode -> ShowS #

show :: CLIMode -> String #

showList :: [CLIMode] -> ShowS #

Eq CLIMode # 
Instance details

Defined in Napkin.Cli.Commands

Methods

(==) :: CLIMode -> CLIMode -> Bool #

(/=) :: CLIMode -> CLIMode -> Bool #

data GlobalCommand (f :: Type -> Type) #

Constructors

GlobalCommand 

Fields

Instances

Instances details
Generic (GlobalCommand f) # 
Instance details

Defined in Napkin.Cli.Commands

Associated Types

type Rep (GlobalCommand f) 
Instance details

Defined in Napkin.Cli.Commands

type Rep (GlobalCommand f) = D1 ('MetaData "GlobalCommand" "Napkin.Cli.Commands" "napkin-cli-2.0.0-EC0URnF9YnIELSroGD5Zv8" 'False) (C1 ('MetaCons "GlobalCommand" 'PrefixI 'True) (S1 ('MetaSel ('Just "command") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NapCommand f)) :*: (S1 ('MetaSel ('Just "logOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LogOptions) :*: S1 ('MetaSel ('Just "cliMode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CLIMode))))

Methods

from :: GlobalCommand f -> Rep (GlobalCommand f) x #

to :: Rep (GlobalCommand f) x -> GlobalCommand f #

Show (NapCommand f) => Show (GlobalCommand f) # 
Instance details

Defined in Napkin.Cli.Commands

Methods

showsPrec :: Int -> GlobalCommand f -> ShowS #

show :: GlobalCommand f -> String #

showList :: [GlobalCommand f] -> ShowS #

type Rep (GlobalCommand f) # 
Instance details

Defined in Napkin.Cli.Commands

type Rep (GlobalCommand f) = D1 ('MetaData "GlobalCommand" "Napkin.Cli.Commands" "napkin-cli-2.0.0-EC0URnF9YnIELSroGD5Zv8" 'False) (C1 ('MetaCons "GlobalCommand" 'PrefixI 'True) (S1 ('MetaSel ('Just "command") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NapCommand f)) :*: (S1 ('MetaSel ('Just "logOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LogOptions) :*: S1 ('MetaSel ('Just "cliMode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CLIMode))))