blob: 29ec86565f5b15ede056e5d2f5deb31e2c302daf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# 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
type role MatchPat nominal
data Pat (i :: Type)
type LPat i = XRec i (Pat i)
data MatchPat i
type LMatchPat i = XRec i (MatchPat i)
|
