Jikka-5.0.11.1: A transpiler from Python to C++ for competitive programming
Safe HaskellNone
LanguageHaskell2010

Jikka.Common.IOFormat

Documentation

data FormatExpr Source #

Constructors

Var String 
Plus FormatExpr Integer 
At FormatExpr String 
Len FormatExpr 

Instances

Instances details
Eq FormatExpr Source # 
Instance details

Defined in Jikka.Common.IOFormat

Methods

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

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

Ord FormatExpr Source # 
Instance details

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 Source # 
Instance details

Defined in Jikka.Common.IOFormat

Methods

readsPrec :: Int -> ReadS FormatExpr #

readList :: ReadS [FormatExpr] #

readPrec :: ReadPrec FormatExpr #

readListPrec :: ReadPrec [FormatExpr] #

Show FormatExpr Source # 
Instance details

Defined in Jikka.Common.IOFormat

Methods

showsPrec :: Int -> FormatExpr -> ShowS #

show :: FormatExpr -> String #

showList :: [FormatExpr] -> ShowS #

data FormatTree Source #

Constructors

Exp FormatExpr 
Newline 
Seq [FormatTree] 
Loop String FormatExpr FormatTree 

Instances

Instances details
Eq FormatTree Source # 
Instance details

Defined in Jikka.Common.IOFormat

Methods

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

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

Ord FormatTree Source # 
Instance details

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 Source # 
Instance details

Defined in Jikka.Common.IOFormat

Methods

readsPrec :: Int -> ReadS FormatTree #

readList :: ReadS [FormatTree] #

readPrec :: ReadPrec FormatTree #

readListPrec :: ReadPrec [FormatTree] #

Show FormatTree Source # 
Instance details

Defined in Jikka.Common.IOFormat

Methods

showsPrec :: Int -> FormatTree -> ShowS #

show :: FormatTree -> String #

showList :: [FormatTree] -> ShowS #

data IOFormat Source #

Constructors

IOFormat 

Fields

Instances

Instances details
Eq IOFormat Source # 
Instance details

Defined in Jikka.Common.IOFormat

Methods

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

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

Ord IOFormat Source # 
Instance details

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 Source # 
Instance details

Defined in Jikka.Common.IOFormat

Methods

readsPrec :: Int -> ReadS IOFormat #

readList :: ReadS [IOFormat] #

readPrec :: ReadPrec IOFormat #

readListPrec :: ReadPrec [IOFormat] #

Show IOFormat Source # 
Instance details

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 Source #

mapFormatTree :: (FormatTree -> FormatTree) -> FormatTree -> FormatTree Source #

normalizeFormatTree :: FormatTree -> FormatTree Source #

normalizeIOFormat :: IOFormat -> IOFormat Source #

hasNewline :: FormatTree -> Bool Source #

formatFormatExpr :: FormatExpr -> String Source #

formatFormatTree :: FormatTree -> String Source #

formatIOFormat :: IOFormat -> String Source #

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

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

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

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

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