aboutsummaryrefslogblamecommitdiff
path: root/html-test/src/BundledPatterns2.hs
blob: c4123535581361506fbb4fefba8f00dbae64edea (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
                            








                                                                              
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE DataKinds, GADTs, KindSignatures, PatternSynonyms, TypeOperators,
             ViewPatterns #-}
module BundledPatterns2 (Vec((:>), Empty), RTree(..)) where

import GHC.TypeLits

import BundledPatterns

pattern Empty :: Vec 0 a
pattern Empty <- Nil