github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-30 14:47:30 +03:00
Code Issues Projects Releases Wiki Activity

Import Free.

Browse Source
This commit is contained in:
Rob Rix 2015-11-17 13:35:52 -08:00
parent 9c6a1f3ccb
commit 6d7cfbaa53
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Diff.hs
View File

@ -3,9 +3,8 @@ module Diff where
{-# LANGUAGE DeriveFunctor #-}
import Data.Maybe
import Control.Monad.Free
data Free f a = Pure a | Roll (f (Free f a))
deriving Functor
newtype Fix f = In { out :: f (Fix f) }
data Cofree f a = Unroll a (f (Cofree f a))
deriving Functor