Skip to content

Instantly share code, notes, and snippets.

@cartazio

cartazio/gist:9179670

Created February 24, 2014 00:40
Show Gist options
  • Save cartazio/9179670 to your computer and use it in GitHub Desktop.
Save cartazio/9179670 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.hs
data Eff :: * -> * where
Pure :: Eff ()
Mut :: s -> Eff s
data EVector :: * -> * -> * where
PureVector :: S.Vector el -> EVector Pure el
MutVector :: SM.MVector s el -> EVector (Mut s) el
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment