Skip to content

Instantly share code, notes, and snippets.

Avatar

Minsheng Liu notcome

  • XNZG
  • Hangzhou, China
View GitHub Profile
@notcome
notcome / IxFix.hs
Created Nov 21, 2015 — forked from AndrasKovacs/IxFix.hs
Example for recursion schemes for mutually recursive data
View IxFix.hs
{-# LANGUAGE
UndecidableInstances, RankNTypes, TypeOperators, TypeFamilies,
StandaloneDeriving, DataKinds, PolyKinds, DeriveFunctor, DeriveFoldable,
DeriveTraversable, LambdaCase, PatternSynonyms, TemplateHaskell #-}
import Control.Monad
import Control.Applicative
import Data.Singletons.TH