Safe Haskell	None
Language	Haskell2010

Jikka.Core.Language.ModuloExpr

Contents

Basic functions
Utilities

Synopsis

data ModuloExpr
parseModuloExpr :: Expr -> Maybe ModuloExpr
formatTopModuloExpr :: ModuloExpr -> Expr
formatBottomModuloExpr :: ModuloExpr -> Expr
integerModuloExpr :: Modulo -> Integer -> ModuloExpr
negateModuloExpr :: ModuloExpr -> ModuloExpr
plusModuloExpr :: ModuloExpr -> ModuloExpr -> Maybe ModuloExpr
minusModuloExpr :: ModuloExpr -> ModuloExpr -> Maybe ModuloExpr
multModuloExpr :: ModuloExpr -> ModuloExpr -> Maybe ModuloExpr
isZeroModuloExpr :: ModuloExpr -> Bool
isOneModuloExpr :: ModuloExpr -> Bool
moduloOfModuloExpr :: ModuloExpr -> Expr
arithmeticExprFromModuloExpr :: ModuloExpr -> ArithmeticExpr
newtype Modulo = Modulo {
- unModulo :: Expr
}
formatModulo :: Modulo -> String
isModulo :: Expr -> Modulo -> Bool

Basic functions

data ModuloExpr Source #

Instances

Instances details

Eq ModuloExpr Source #
Instance details Defined in Jikka.Core.Language.ModuloExpr Methods (==) :: ModuloExpr -> ModuloExpr -> Bool # (/=) :: ModuloExpr -> ModuloExpr -> Bool #
Ord ModuloExpr Source #
Instance details Defined in Jikka.Core.Language.ModuloExpr Methods compare :: ModuloExpr -> ModuloExpr -> Ordering # (<) :: ModuloExpr -> ModuloExpr -> Bool # (<=) :: ModuloExpr -> ModuloExpr -> Bool # (>) :: ModuloExpr -> ModuloExpr -> Bool # (>=) :: ModuloExpr -> ModuloExpr -> Bool # max :: ModuloExpr -> ModuloExpr -> ModuloExpr # min :: ModuloExpr -> ModuloExpr -> ModuloExpr #
Show ModuloExpr Source #
Instance details Defined in Jikka.Core.Language.ModuloExpr Methods showsPrec :: Int -> ModuloExpr -> ShowS # show :: ModuloExpr -> String # showList :: [ModuloExpr] -> ShowS #

parseModuloExpr :: Expr -> Maybe ModuloExpr Source #

parseModuloExpr converts a given expr to a normal form \(\sum_i \prod_j e _ {i,j}) \bmod m\). This assumes given exprs have the type \(\mathbf{int}\).

formatTopModuloExpr :: ModuloExpr -> Expr Source #

formatTopModuloExpr convert ModuloExpr to Expr with adding FloorMod at only the root.

formatBottomModuloExpr :: ModuloExpr -> Expr Source #

formatBottomModuloExpr convert ModuloExpr to Expr with adding FloorMod at every nodes.

integerModuloExpr :: Modulo -> Integer -> ModuloExpr Source #

negateModuloExpr :: ModuloExpr -> ModuloExpr Source #

plusModuloExpr :: ModuloExpr -> ModuloExpr -> Maybe ModuloExpr Source #

minusModuloExpr :: ModuloExpr -> ModuloExpr -> Maybe ModuloExpr Source #

multModuloExpr :: ModuloExpr -> ModuloExpr -> Maybe ModuloExpr Source #

isZeroModuloExpr :: ModuloExpr -> Bool Source #

isOneModuloExpr :: ModuloExpr -> Bool Source #

moduloOfModuloExpr :: ModuloExpr -> Expr Source #

arithmeticExprFromModuloExpr :: ModuloExpr -> ArithmeticExpr Source #

Utilities

newtype Modulo Source #

Modulo is just a newtype to avoid mistakes that swapping left and right of mod-op.

Constructors

Modulo
Fields unModulo :: Expr

Instances

Instances details

Eq Modulo Source #
Instance details Defined in Jikka.Core.Language.ModuloExpr Methods (==) :: Modulo -> Modulo -> Bool # (/=) :: Modulo -> Modulo -> Bool #
Ord Modulo Source #
Instance details Defined in Jikka.Core.Language.ModuloExpr Methods compare :: Modulo -> Modulo -> Ordering # (<) :: Modulo -> Modulo -> Bool # (<=) :: Modulo -> Modulo -> Bool # (>) :: Modulo -> Modulo -> Bool # (>=) :: Modulo -> Modulo -> Bool # max :: Modulo -> Modulo -> Modulo # min :: Modulo -> Modulo -> Modulo #
Read Modulo Source #
Instance details Defined in Jikka.Core.Language.ModuloExpr Methods readsPrec :: Int -> ReadS Modulo # readList :: ReadS [Modulo] # readPrec :: ReadPrec Modulo # readListPrec :: ReadPrec [Modulo] #
Show Modulo Source #
Instance details Defined in Jikka.Core.Language.ModuloExpr Methods showsPrec :: Int -> Modulo -> ShowS # show :: Modulo -> String # showList :: [Modulo] -> ShowS #

formatModulo :: Modulo -> String Source #

isModulo :: Expr -> Modulo -> Bool Source #