{-# 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)