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