Safe Haskell	Safe-Inferred
Language	Haskell2010

JsonToType.Alternative

Description

This module defines data type (a :|: b) that behaves all like Either, except that has no tag in JSON representation as used by FromJSON and ToJSON.

Synopsis

data a :|: b
- = AltLeft a
- | AltRight b
toEither :: (a :|: b) -> Either a b
fromEither :: Either a b -> a :|: b
alt :: (a -> c) -> (b -> c) -> (a :|: b) -> c

Documentation

data a :|: b infixr 5 Source #

Data type (a :|: b) that behaves all like Either, except that has no tag in JSON representation as used by FromJSON and ToJSON.

Constructors

AltLeft a
AltRight b

Instances

Instances details

(FromJSON a, FromJSON b) => FromJSON (a :\|: b) Source #
Instance details Defined in JsonToType.Alternative Methods parseJSON :: Value -> Parser (a :\|: b) # parseJSONList :: Value -> Parser [a :\|: b] # omittedField :: Maybe (a :\|: b) #
(ToJSON a, ToJSON b) => ToJSON (a :\|: b) Source #
Instance details Defined in JsonToType.Alternative Methods toJSON :: (a :\|: b) -> Value # toEncoding :: (a :\|: b) -> Encoding # toJSONList :: [a :\|: b] -> Value # toEncodingList :: [a :\|: b] -> Encoding # omitField :: (a :\|: b) -> Bool #
(Show a, Show b) => Show (a :\|: b) Source #
Instance details Defined in JsonToType.Alternative Methods showsPrec :: Int -> (a :\|: b) -> ShowS # show :: (a :\|: b) -> String # showList :: [a :\|: b] -> ShowS #
(Eq a, Eq b) => Eq (a :\|: b) Source #
Instance details Defined in JsonToType.Alternative Methods (==) :: (a :\|: b) -> (a :\|: b) -> Bool # (/=) :: (a :\|: b) -> (a :\|: b) -> Bool #
(Ord a, Ord b) => Ord (a :\|: b) Source #
Instance details Defined in JsonToType.Alternative Methods compare :: (a :\|: b) -> (a :\|: b) -> Ordering # (<) :: (a :\|: b) -> (a :\|: b) -> Bool # (<=) :: (a :\|: b) -> (a :\|: b) -> Bool # (>) :: (a :\|: b) -> (a :\|: b) -> Bool # (>=) :: (a :\|: b) -> (a :\|: b) -> Bool # max :: (a :\|: b) -> (a :\|: b) -> a :\|: b # min :: (a :\|: b) -> (a :\|: b) -> a :\|: b #

toEither :: (a :|: b) -> Either a b Source #

Convert to Either datatype.

fromEither :: Either a b -> a :|: b Source #

Convert from Either datatype.

alt :: (a -> c) -> (b -> c) -> (a :|: b) -> c infixr 5 Source #

Deconstruct the type with two functions corresponding to constructors. This is like either.

(FromJSON a, FromJSON b) => FromJSON (a :\|: b) Source #
Instance details Defined in JsonToType.Alternative Methods parseJSON :: Value -> Parser (a :\|: b) # parseJSONList :: Value -> Parser [a :\|: b] # omittedField :: Maybe (a :\|: b) #
(ToJSON a, ToJSON b) => ToJSON (a :\|: b) Source #
Instance details Defined in JsonToType.Alternative Methods toJSON :: (a :\|: b) -> Value # toEncoding :: (a :\|: b) -> Encoding # toJSONList :: [a :\|: b] -> Value # toEncodingList :: [a :\|: b] -> Encoding # omitField :: (a :\|: b) -> Bool #
(Show a, Show b) => Show (a :\|: b) Source #
Instance details Defined in JsonToType.Alternative Methods showsPrec :: Int -> (a :\|: b) -> ShowS # show :: (a :\|: b) -> String # showList :: [a :\|: b] -> ShowS #
(Eq a, Eq b) => Eq (a :\|: b) Source #
Instance details Defined in JsonToType.Alternative Methods (==) :: (a :\|: b) -> (a :\|: b) -> Bool # (/=) :: (a :\|: b) -> (a :\|: b) -> Bool #
(Ord a, Ord b) => Ord (a :\|: b) Source #
Instance details Defined in JsonToType.Alternative Methods compare :: (a :\|: b) -> (a :\|: b) -> Ordering # (<) :: (a :\|: b) -> (a :\|: b) -> Bool # (<=) :: (a :\|: b) -> (a :\|: b) -> Bool # (>) :: (a :\|: b) -> (a :\|: b) -> Bool # (>=) :: (a :\|: b) -> (a :\|: b) -> Bool # max :: (a :\|: b) -> (a :\|: b) -> a :\|: b # min :: (a :\|: b) -> (a :\|: b) -> a :\|: b #