Skip to content

Instantly share code, notes, and snippets.

@func-hs

func-hs/DList.hs

Created April 23, 2016 07:36
Show Gist options
  • Save func-hs/f8d59d4a94598d615fbb4b2626d8ff3c to your computer and use it in GitHub Desktop.
Save func-hs/f8d59d4a94598d615fbb4b2626d8ff3c to your computer and use it in GitHub Desktop.
Download ZIP
Listを依存型っぽくしてみようとしただけの何か
Raw
DList.hs
{-#LANGUAGE GADTs, KindSignatures, DataKinds, TypeOperators, TypeFamilies#-}
import GHC.TypeLits
data DList :: Nat -> * -> * where
DNil :: DList 0 a
DCons :: a -> DList n a -> DList (n + 1) a
append :: DList n a -> DList m a -> DList (n + m) a
append = undefined
main = return ()
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment