github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 00:44:57 +03:00
Code Issues Projects Releases Wiki Activity

Define a smart constructor for Bool.

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

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

@ -1,6 +1,7 @@
{-# LANGUAGE FlexibleContexts, GeneralizedNewtypeDeriving, QuantifiedConstraints, StandaloneDeriving #-}
module Analysis.Domain
( unit
, bool
, Domain(..)
) where
@ -12,6 +13,9 @@ import Syntax.Scope
unit :: (Carrier sig m, Member Domain sig) => m a
unit = send Unit
bool :: (Carrier sig m, Member Domain sig) => Bool -> m a
bool = send . Bool
data Domain f a
= Unit