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

Define a Carrier instance for Core.

Browse Source
This commit is contained in:
Rob Rix 2019-07-15 13:01:22 -04:00
parent 3e5d703263
commit c83d5f083e
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
semantic-core/src/Data/Core.hs
View File

@ -1,4 +1,4 @@
{-# LANGUAGE DeriveGeneric, DeriveTraversable, FlexibleContexts, LambdaCase, OverloadedStrings, QuantifiedConstraints, RankNTypes,
{-# LANGUAGE DeriveGeneric, DeriveTraversable, FlexibleContexts, LambdaCase, MultiParamTypeClasses, OverloadedStrings, QuantifiedConstraints, RankNTypes,
ScopedTypeVariables, StandaloneDeriving, TypeFamilies, TypeOperators #-}
module Data.Core
( Core(..)
@ -66,6 +66,9 @@ instance Applicative Core where
instance Monad Core where
a >>= f = iter id Core Var f a
instance Carrier CoreF Core where
eff = Core
data CoreF f a
= Let User