Safe Haskell	Safe-Inferred
Language	GHC2021

Singleraeh.Either

Synopsis

data SEither sa sb eab where
- SLeft :: sa a -> SEither sa sb (Left a)
- SRight :: sb b -> SEither sa sb (Right b)
demoteSEither :: forall dl dr sl sr elr. (forall l. sl l -> dl) -> (forall r. sr r -> dr) -> SEither sl sr elr -> Either dl dr

Documentation

data SEither sa sb eab where Source #

Singleton Either.

Constructors

SLeft :: sa a -> SEither sa sb (Left a)
SRight :: sb b -> SEither sa sb (Right b)

demoteSEither :: forall dl dr sl sr elr. (forall l. sl l -> dl) -> (forall r. sr r -> dr) -> SEither sl sr elr -> Either dl dr Source #