1{-# LANGUAGE TypeFamilyDependencies #-} 2{-# LANGUAGE PatternSynonyms #-} 3{-# LANGUAGE ConstraintKinds #-} 4{-# LANGUAGE RankNTypes #-} 5{-# LANGUAGE StandaloneDeriving #-} 6{-# LANGUAGE FlexibleInstances #-} 7{-# LANGUAGE FunctionalDependencies #-} 8{-# LANGUAGE UndecidableInstances #-} 9{-# LANGUAGE TypeFamilies #-} 10{-# LANGUAGE LambdaCase #-} 11{-# LANGUAGE TypeOperators #-} 12{-# LANGUAGE KindSignatures #-} 13{-# LANGUAGE DataKinds #-} 14{-# LANGUAGE PolyKinds #-} 15{-# LANGUAGE GADTs #-} 16----------------------------------------------------------------------------- 17-- | 18-- Module : Type.Family.List 19-- Copyright : Copyright (C) 2015 Kyle Carter 20-- License : BSD3 21-- 22-- Maintainer : Kyle Carter <kylcarte@indiana.edu> 23-- Stability : experimental 24-- Portability : RankNTypes 25-- 26-- Convenient aliases and type families for working with 27-- type-level lists. 28---------------------------------------------------------------------------- 29 30module Type.Family.List where 31 32type � = '[] 33type :< = ': 34infixr 5 :< 35 36 37