Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Tuple.Linear.Compat

Synopsis

unSolo :: forall a (p :: Multiplicity). Solo a %p -> a
mkSolo :: forall a (p :: Multiplicity). a %p -> Solo a

Documentation

unSolo :: forall a (p :: Multiplicity). Solo a %p -> a Source #

The Solo data constructor was renamed to MkSolo in GHC 9.6 (see #437). Because at present there is no linear pattern synonym, and in order to stay compatible with GHC 9.4 we use a constructor and a destructor functions as a workaround (it's quite easy in the case of Solo anyway).

mkSolo :: forall a (p :: Multiplicity). a %p -> Solo a Source #

See unSolo.