github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-28 09:21:35 +03:00
Code Issues Projects Releases Wiki Activity

Define a smart constructor for Unit.

Browse Source
This commit is contained in:
Rob Rix 2019-11-04 14:46:14 -05:00
parent 20555fcf84
commit 722e40571c
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
semantic-analysis/src/Analysis/Domain.hs
View File

@ -1,12 +1,18 @@
{-# LANGUAGE GeneralizedNewtypeDeriving, QuantifiedConstraints, StandaloneDeriving #-} {-# LANGUAGE FlexibleContexts, GeneralizedNewtypeDeriving, QuantifiedConstraints, StandaloneDeriving #-}
module Analysis.Domain module Analysis.Domain
( Domain(..) ( unit
, Domain(..)
) where ) where
import Control.Effect.Carrier
import Data.String (IsString) import Data.String (IsString)
import Data.Text (Text) import Data.Text (Text)
import Syntax.Scope import Syntax.Scope
unit :: (Carrier sig m, Member Domain sig) => m a
unit = send Unit
data Domain f a data Domain f a
= Unit = Unit
| Bool Bool | Bool Bool