primus-0.3.0.0: nonempty and positive functions
Copyright(c) Grant Weyburne 2022
LicenseBSD-3
Safe HaskellSafe-Inferred
LanguageHaskell2010

Primus.Error

Description

 
Synopsis

force conversion from an Either

forceRight :: HasCallStack => String -> Either String a -> a Source #

unsafe force an error if Left

forceRightP :: HasCallStack => String -> Either String a -> a Source #

unsafe force an error if Left

fr :: HasCallStack => Either String a -> a Source #

unsafe force an error if Left

frp :: HasCallStack => Either String a -> a Source #

unsafe force an error if Left

force conversion from a nonempty list

fromList1 :: HasCallStack => String -> [a] -> NonEmpty a Source #

unsafe conversion from list to a nonempty list

fromList1P :: HasCallStack => String -> [a] -> NonEmpty a Source #

unsafe conversion from list to a nonempty list

ne :: HasCallStack => [a] -> NonEmpty a Source #

unsafe conversion from list to a nonempty list

nep :: HasCallStack => [a] -> NonEmpty a Source #

unsafe conversion from list to a nonempty list

error types

programmError :: HasCallStack => String -> a Source #

indicates a programmer error

normalError :: HasCallStack => String -> a Source #

indicates a user error

compileError :: HasCallStack => String -> a Source #

indicates a compiler error

decorate an error

lmsg :: String -> Either String a -> Either String a Source #

prepend an error message

miscellaneous

(.@) :: (c -> d) -> (a -> b -> c) -> a -> b -> d infixr 8 Source #

compose a two arg function followed by a one arg function