1
1
mirror of https://github.com/github/semantic.git synced 2024-12-19 21:01:35 +03:00

Define an Amb datatype.

This commit is contained in:
Rob Rix 2017-08-03 17:02:05 -04:00
parent 69892a8dc9
commit fb9f27a00e

View File

@ -1 +1,8 @@
module Data.Amb where
import Data.List.NonEmpty
data Amb l r
= None l
| Some (NonEmpty r)
deriving (Eq, Foldable, Functor, Show, Traversable)