Jikka.Core.Language.BuiltinPatterns

BuiltinPatterns provides pattern synonyms for applications of Builtin functions. For example, provide a pattern Sum' e which is interpreted as AppBuiltin Sum [e], or the same thing, App (Lit (LitBuiltin Sum)) [e].

Documentation

pattern Negate' :: Expr -> Expr

pattern Plus' :: Expr -> Expr -> Expr

pattern Minus' :: Expr -> Expr -> Expr

pattern Mult' :: Expr -> Expr -> Expr

pattern FloorDiv' :: Expr -> Expr -> Expr

pattern FloorMod' :: Expr -> Expr -> Expr

pattern CeilDiv' :: Expr -> Expr -> Expr

pattern CeilMod' :: Expr -> Expr -> Expr

pattern Pow' :: Expr -> Expr -> Expr

pattern Abs' :: Expr -> Expr

pattern Gcd' :: Expr -> Expr -> Expr

pattern Lcm' :: Expr -> Expr -> Expr

pattern Min2' :: Type -> Expr -> Expr -> Expr

pattern Max2' :: Type -> Expr -> Expr -> Expr

pattern Iterate' :: Type -> Expr -> Expr -> Expr -> Expr

pattern Not' :: Expr -> Expr

pattern And' :: Expr -> Expr -> Expr

pattern Or' :: Expr -> Expr -> Expr

pattern Implies' :: Expr -> Expr -> Expr

pattern If' :: Type -> Expr -> Expr -> Expr -> Expr

pattern BitNot' :: Expr -> Expr

pattern BitAnd' :: Expr -> Expr -> Expr

pattern BitOr' :: Expr -> Expr -> Expr

pattern BitXor' :: Expr -> Expr -> Expr

pattern BitLeftShift' :: Expr -> Expr -> Expr

pattern BitRightShift' :: Expr -> Expr -> Expr

pattern MatAp' :: Int -> Int -> Expr -> Expr -> Expr

pattern MatAdd' :: Int -> Int -> Expr -> Expr -> Expr

pattern MatMul' :: Int -> Int -> Int -> Expr -> Expr -> Expr

pattern MatPow' :: Int -> Expr -> Expr -> Expr

pattern VecFloorMod' :: Int -> Expr -> Expr -> Expr

pattern MatFloorMod' :: Int -> Int -> Expr -> Expr -> Expr

pattern ModNegate' :: Expr -> Expr -> Expr

pattern ModPlus' :: Expr -> Expr -> Expr -> Expr

pattern ModMinus' :: Expr -> Expr -> Expr -> Expr

pattern ModMult' :: Expr -> Expr -> Expr -> Expr

pattern ModInv' :: Expr -> Expr -> Expr

pattern ModPow' :: Expr -> Expr -> Expr -> Expr

pattern ModMatAp' :: Int -> Int -> Expr -> Expr -> Expr -> Expr

pattern ModMatAdd' :: Int -> Int -> Expr -> Expr -> Expr -> Expr

pattern ModMatMul' :: Int -> Int -> Int -> Expr -> Expr -> Expr -> Expr

pattern ModMatPow' :: Int -> Expr -> Expr -> Expr -> Expr

pattern Nil' :: Type -> Expr

pattern Cons' :: Type -> Expr -> Expr -> Expr

pattern Snoc' :: Type -> Expr -> Expr -> Expr

pattern Foldl' :: Type -> Type -> Expr -> Expr -> Expr -> Expr

pattern Scanl' :: Type -> Type -> Expr -> Expr -> Expr -> Expr

pattern Build' :: Type -> Expr -> Expr -> Expr -> Expr

pattern Len' :: Type -> Expr -> Expr

pattern Map' :: Type -> Type -> Expr -> Expr -> Expr

pattern Filter' :: Type -> Expr -> Expr -> Expr

pattern At' :: Type -> Expr -> Expr -> Expr

pattern SetAt' :: Type -> Expr -> Expr -> Expr -> Expr

pattern Elem' :: Type -> Expr -> Expr -> Expr

pattern Sum' :: Expr -> Expr

pattern Product' :: Expr -> Expr

pattern ModSum' :: Expr -> Expr -> Expr

pattern ModProduct' :: Expr -> Expr -> Expr

pattern Min1' :: Type -> Expr -> Expr

pattern Max1' :: Type -> Expr -> Expr

pattern ArgMin' :: Type -> Expr -> Expr

pattern ArgMax' :: Type -> Expr -> Expr

pattern All' :: Expr -> Expr

pattern Any' :: Expr -> Expr

pattern Sorted' :: Type -> Expr -> Expr

pattern Reversed' :: Type -> Expr -> Expr

pattern Range1' :: Expr -> Expr

pattern Range2' :: Expr -> Expr -> Expr

pattern Range3' :: Expr -> Expr -> Expr -> Expr

pattern Tuple' :: [Type] -> Expr

pattern Proj' :: [Type] -> Int -> Expr -> Expr

pattern LessThan' :: Type -> Expr -> Expr -> Expr

pattern LessEqual' :: Type -> Expr -> Expr -> Expr

pattern GreaterThan' :: Type -> Expr -> Expr -> Expr

pattern GreaterEqual' :: Type -> Expr -> Expr -> Expr

pattern Equal' :: Type -> Expr -> Expr -> Expr

pattern NotEqual' :: Type -> Expr -> Expr -> Expr

pattern Fact' :: Expr -> Expr

pattern Choose' :: Expr -> Expr -> Expr

pattern Permute' :: Expr -> Expr -> Expr

pattern MultiChoose' :: Expr -> Expr -> Expr

pattern ConvexHullTrickInit' :: Expr

pattern ConvexHullTrickGetMin' :: Expr -> Expr -> Expr

pattern ConvexHullTrickInsert' :: Expr -> Expr -> Expr -> Expr

pattern SegmentTreeInitList' :: Semigroup' -> Expr -> Expr

pattern SegmentTreeGetRange' :: Semigroup' -> Expr -> Expr -> Expr -> Expr

pattern SegmentTreeSetPoint' :: Semigroup' -> Expr -> Expr -> Expr -> Expr

pattern Bottom' :: Type -> String -> Expr