Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data EitherWayI a
- = OnlyAlice a
- | OnlyBob a
- | AliceAndBob a
- includingAlice :: EitherWayI a -> Maybe a
- excludingAlice :: EitherWayI a -> Maybe a
- value :: EitherWayI a -> a
Documentation
data EitherWayI a Source #
Alice inclusive-or Bob?
OnlyAlice a | |
OnlyBob a | |
AliceAndBob a |
Instances
Functor EitherWayI Source # | |
Defined in Unison.Merge.EitherWayI fmap :: (a -> b) -> EitherWayI a -> EitherWayI b # (<$) :: a -> EitherWayI b -> EitherWayI a # | |
Show a => Show (EitherWayI a) Source # | |
Defined in Unison.Merge.EitherWayI showsPrec :: Int -> EitherWayI a -> ShowS # show :: EitherWayI a -> String # showList :: [EitherWayI a] -> ShowS # |
includingAlice :: EitherWayI a -> Maybe a Source #
excludingAlice :: EitherWayI a -> Maybe a Source #
value :: EitherWayI a -> a Source #