From: Matthijs Kooijman Date: Wed, 16 Jun 2010 13:15:33 +0000 (+0200) Subject: Add predicate functions for the CoreContext type. X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=82a01c9291c350ee8aeae80d62d6a45f7fb50940;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git Add predicate functions for the CoreContext type. --- diff --git a/clash/CLasH/Normalize/NormalizeTypes.hs b/clash/CLasH/Normalize/NormalizeTypes.hs index 4e98709..07ccd97 100644 --- a/clash/CLasH/Normalize/NormalizeTypes.hs +++ b/clash/CLasH/Normalize/NormalizeTypes.hs @@ -32,3 +32,22 @@ data CoreContext = AppFirst -- ^ The expression is the first deriving (Eq, Show) -- | Transforms a CoreExpr and keeps track if it has changed. type Transform = [CoreContext] -> CoreSyn.CoreExpr -> TransformMonad CoreSyn.CoreExpr + +-- Predicates for each of the context types +is_appfirst_ctx, is_appsecond_ctx, is_letbinding_ctx, is_letbody_ctx, is_lambdabody_ctx + :: CoreContext -> Bool + +is_appfirst_ctx AppFirst = True +is_appfirst_ctx _ = False + +is_appsecond_ctx AppSecond = True +is_appsecond_ctx _ = False + +is_letbinding_ctx LetBinding = True +is_letbinding_ctx _ = False + +is_letbody_ctx LetBody = True +is_letbody_ctx _ = False + +is_lambdabody_ctx LambdaBody = True +is_lambdabody_ctx _ = False