phino-0.0.0: Command-Line Manipulator of 𝜑-Calculus Expressions

Safe Haskell	Safe-Inferred
Language	Haskell2010

CLI.Types

Documentation

data PrintContext Source #

Constructors

Fields

data CmdException Source #

Constructors

InvalidCLIArguments String
CouldNotReadFromStdin String
CouldNotDataize
CouldNotPrintExpressionInXMIR
EmptySubstsOnMatch
AnonymousMetaInCondition String
UnboundMetaInCondition String
VersionMismatch String String
CouldNotCompile String
StaleEngine

Instances

Instances details

Exception CmdException Source #
Instance details Defined in CLI.Types Methods toException :: CmdException -> SomeException # fromException :: SomeException -> Maybe CmdException # displayException :: CmdException -> String #
Show CmdException Source #
Instance details Defined in CLI.Types Methods showsPrec :: Int -> CmdException -> ShowS # show :: CmdException -> String # showList :: [CmdException] -> ShowS #

data Command Source #

Constructors

CmdRewrite OptsRewrite
CmdDataize OptsDataize
CmdMorph OptsMorph
CmdExplain OptsExplain
CmdMerge OptsMerge
CmdMatch OptsMatch
CmdCompile OptsCompile

data Pin Source #

Constructors

PinVersion String
PinFile FilePath

data CliArgs Source #

Constructors

CliArgs
Fields _pin :: Maybe Pin _command :: Command

data IOFormat Source #

Constructors

XMIR
PHI
LATEX

Instances

Instances details

Show IOFormat Source #
Instance details Defined in CLI.Types Methods showsPrec :: Int -> IOFormat -> ShowS # show :: IOFormat -> String # showList :: [IOFormat] -> ShowS #
Eq IOFormat Source #
Instance details Defined in CLI.Types Methods (==) :: IOFormat -> IOFormat -> Bool # (/=) :: IOFormat -> IOFormat -> Bool #

data OptsDataize Source #

Constructors

Fields

data OptsMorph Source #

Constructors

Fields

data OptsExplain Source #

Constructors

OptsExplain
Fields _logLevel :: LogLevel _logLines :: Int _rules :: [FilePath] _normalize :: Bool _morph :: Bool _dataize :: Bool _contextualize :: Bool _shuffle :: Bool _seed :: Int _targetFile :: Maybe FilePath

data OptsRewrite Source #

Constructors

Fields

data OptsMerge Source #

Constructors

OptsMerge
Fields _logLevel :: LogLevel _logLines :: Int _inputFormat :: IOFormat _monoform :: Form _outputFormat :: IOFormat _sugarType :: SugarType _flat :: LineFormat _omitListing :: Bool _omitComments :: Bool _margin :: Int _targetFile :: Maybe FilePath _inputs :: [FilePath] _seed :: Int

data OptsMatch Source #

Constructors

OptsMatch
Fields _logLevel :: LogLevel _logLines :: Int _monoform :: Form _sugarType :: SugarType _flat :: LineFormat _pattern :: Maybe String _when :: Maybe String _inputFile :: Maybe FilePath _seed :: Int

data OptsCompile Source #

Constructors

OptsCompile
Fields _logLevel :: LogLevel _logLines :: Int _rules :: [FilePath] _targetFile :: FilePath