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








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