github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 06:11:49 +03:00
Code Issues Projects Releases Wiki Activity

🔥 Prologue (again).

Browse Source
This commit is contained in:
Rob Rix 2017-08-06 17:08:25 -04:00
parent ade7b82b23
commit 6188700166
1 changed files with 0 additions and 42 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
src/Prologue.hs
View File

@ -1,42 +0,0 @@
module Prologue
( module X
, lookup
, (&&&)
, (***)
, hylo, cata, para, ana
, cofree, runCofree, free, runFree
, module Data.Hashable
) where
import Protolude as X hiding ((<>))
import Data.List (lookup)
import Data.Semigroup as X (Semigroup(..))
import Control.Comonad.Cofree as X hiding ((:<), unfold, unfoldM)
import Control.Monad.Free as X (Free())
import Control.Monad.Free as X hiding (Free(Free, Pure), unfold, unfoldM)
import Control.Comonad.Trans.Cofree as X (CofreeF(..), headF, tailF)
import Control.Monad.Trans.Free as X (FreeF(..))
import Control.Comonad as X
import qualified Control.Comonad.Cofree as Cofree
import qualified Control.Monad.Free as Free
import Control.Arrow ((&&&), (***))
import Data.Functor.Foldable (hylo, cata, para, ana)
import Data.Hashable
cofree :: CofreeF f a (Cofree f a) -> Cofree f a
cofree (a :< f) = a Cofree.:< f
runCofree :: Cofree f a -> CofreeF f a (Cofree f a)
runCofree (a Cofree.:< f) = a :< f
free :: FreeF f a (Free f a) -> Free f a
free (Free f) = Free.Free f
free (Pure a) = Free.Pure a
runFree :: Free f a -> FreeF f a (Free f a)
runFree (Free.Free f) = Free f
runFree (Free.Pure a) = Pure a