html-test/src/BundledPatterns2.hs


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