{-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE PatternSynonyms #-} module Dhall.JSON.Util ( pattern V ) where import Dhall.Core (Expr) import qualified Dhall.Core as Core pattern V :: Int -> Expr s a pattern $bV :: Int -> Expr s a $mV :: forall r s a. Expr s a -> (Int -> r) -> (Void# -> r) -> r V n = Core.Var (Core.V "_" n)