blob: 4ff0371e3980c6b413b7aaab93fea0d330df0622 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE RoleAnnotations #-}
{-# LANGUAGE TypeFamilies #-}
-- See Note [Language.Haskell.Syntax.* Hierarchy] for why not GHC.Hs.*
module Language.Haskell.Syntax.Pat where
import Language.Haskell.Syntax.Extension ( XRec )
import Data.Kind
type role Pat nominal
data Pat (i :: Type)
type LPat i = XRec i (Pat i)
|
