Jikka.Common.IOFormat

Documentation

data FormatExpr

Constructors

Var String

Plus FormatExpr Integer

At FormatExpr String

Len FormatExpr

Instances

Eq FormatExpr

Defined in Jikka.Common.IOFormat

Methods

(==) :: FormatExpr -> FormatExpr -> Bool

(/=) :: FormatExpr -> FormatExpr -> Bool

Ord FormatExpr

Defined in Jikka.Common.IOFormat

Methods

compare :: FormatExpr -> FormatExpr -> Ordering

(<) :: FormatExpr -> FormatExpr -> Bool

(<=) :: FormatExpr -> FormatExpr -> Bool

(>) :: FormatExpr -> FormatExpr -> Bool

(>=) :: FormatExpr -> FormatExpr -> Bool

max :: FormatExpr -> FormatExpr -> FormatExpr

min :: FormatExpr -> FormatExpr -> FormatExpr

Read FormatExpr

Defined in Jikka.Common.IOFormat

Methods

readsPrec :: Int -> ReadS FormatExpr

readList :: ReadS [FormatExpr]

readPrec :: ReadPrec FormatExpr

readListPrec :: ReadPrec [FormatExpr]

Show FormatExpr

Defined in Jikka.Common.IOFormat

Methods

showsPrec :: Int -> FormatExpr -> ShowS

show :: FormatExpr -> String

showList :: [FormatExpr] -> ShowS

data FormatTree

Constructors

Exp FormatExpr

Newline

Seq [FormatTree]

Loop String FormatExpr FormatTree

Instances

Eq FormatTree

Defined in Jikka.Common.IOFormat

Methods

(==) :: FormatTree -> FormatTree -> Bool

(/=) :: FormatTree -> FormatTree -> Bool

Ord FormatTree

Defined in Jikka.Common.IOFormat

Methods

compare :: FormatTree -> FormatTree -> Ordering

(<) :: FormatTree -> FormatTree -> Bool

(<=) :: FormatTree -> FormatTree -> Bool

(>) :: FormatTree -> FormatTree -> Bool

(>=) :: FormatTree -> FormatTree -> Bool

max :: FormatTree -> FormatTree -> FormatTree

min :: FormatTree -> FormatTree -> FormatTree

Read FormatTree

Defined in Jikka.Common.IOFormat

Methods

readsPrec :: Int -> ReadS FormatTree

readList :: ReadS [FormatTree]

readPrec :: ReadPrec FormatTree

readListPrec :: ReadPrec [FormatTree]

Show FormatTree

Defined in Jikka.Common.IOFormat

Methods

showsPrec :: Int -> FormatTree -> ShowS

show :: FormatTree -> String

showList :: [FormatTree] -> ShowS

data IOFormat

Constructors

IOFormat

Fields

• inputVariables :: [String]
• inputTree :: FormatTree
• outputVariables :: Either String [String]

  This uses Either to distinguish a type and the 1-tuple of it.

• outputTree :: FormatTree

Instances

Eq IOFormat

Defined in Jikka.Common.IOFormat

Methods

(==) :: IOFormat -> IOFormat -> Bool

(/=) :: IOFormat -> IOFormat -> Bool

Ord IOFormat

Defined in Jikka.Common.IOFormat

Methods

compare :: IOFormat -> IOFormat -> Ordering

(<) :: IOFormat -> IOFormat -> Bool

(<=) :: IOFormat -> IOFormat -> Bool

(>) :: IOFormat -> IOFormat -> Bool

(>=) :: IOFormat -> IOFormat -> Bool

max :: IOFormat -> IOFormat -> IOFormat

min :: IOFormat -> IOFormat -> IOFormat

Read IOFormat

Defined in Jikka.Common.IOFormat

Methods

readsPrec :: Int -> ReadS IOFormat

readList :: ReadS [IOFormat]

readPrec :: ReadPrec IOFormat

readListPrec :: ReadPrec [IOFormat]

Show IOFormat

Defined in Jikka.Common.IOFormat

Methods

showsPrec :: Int -> IOFormat -> ShowS

show :: IOFormat -> String

showList :: [IOFormat] -> ShowS

mapFormatTreeM :: Monad m => (FormatTree -> m FormatTree) -> FormatTree -> m FormatTree

mapFormatTree :: (FormatTree -> FormatTree) -> FormatTree -> FormatTree

normalizeFormatTree :: FormatTree -> FormatTree

normalizeIOFormat :: IOFormat -> IOFormat

hasNewline :: FormatTree -> Bool

formatFormatExpr :: FormatExpr -> String

formatFormatTree :: FormatTree -> String

formatIOFormat :: IOFormat -> String

packSubscriptedVar :: String -> [String] -> FormatExpr

packSubscriptedVar' :: String -> [String] -> FormatTree

unpackSubscriptedVar :: MonadError Error m => FormatExpr -> m (String, [String])

makeReadValueIO :: (MonadError Error m, MonadIO m) => (value -> m Integer) -> (Integer -> value) -> (value -> m (Vector value)) -> (Vector value -> value) -> IOFormat -> m ([value], Map String value)

makeWriteValueIO :: (MonadError Error m, MonadIO m) => (value -> m [value]) -> (Integer -> value) -> (value -> m Integer) -> (value -> m (Vector value)) -> IOFormat -> Map String value -> value -> m ()