Jikka-5.6.0.0: A transpiler from Python to C++ for competitive programming
Safe HaskellSafe-Inferred
LanguageHaskell2010

Jikka.Core.Language.LambdaPatterns

Documentation

pattern LamId :: Type -> Expr Source #

pattern LamConst :: Type -> Expr -> Expr Source #