haskell/esqueleto
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #98 from ncaq/add-monad-value

Browse Source 
added: instance Monad to Value
This commit is contained in:
Chris Allen 2018-07-31 12:22:50 -05:00 committed by GitHub
commit d2fdaaff36
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Database/Esqueleto/Internal/Language.hs
View File

@ -634,6 +634,10 @@ instance Applicative Value where
(<*>) (Value f) (Value a) = Value (f a) (<*>) (Value f) (Value a) = Value (f a)
pure = Value pure = Value
instance Monad Value where
(>>=) x f = valueJoin $ fmap f x
where valueJoin (Value v) = v
-- | A list of single values. There's a limited set of functions -- | A list of single values. There's a limited set of functions
-- able to work with this data type (such as 'subList_select', -- able to work with this data type (such as 'subList_select',
-- 'valList', 'in_' and 'exists'). -- 'valList', 'in_' and 'exists').