Skip to content

Instantly share code, notes, and snippets.

@ktvoelker

ktvoelker/FS.hs

Created November 11, 2014 03:28
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ktvoelker/296f40966e2f1d4846e2 to your computer and use it in GitHub Desktop.
Save ktvoelker/296f40966e2f1d4846e2 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
FS.hs
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
module FS where
type Date = String
data FileKind = FILE | FOLDER
data Entry (k :: FileKind) where
File :: String -> Date -> Int -> Entry FILE
Folder :: String -> String -> Entry FOLDER
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment