RFC.Prelude

Documentation

ifThenElse :: Bool -> a -> a -> a

charIsUpper :: Char -> Bool

charIsLower :: Char -> Bool

uniq :: Eq a => [a] -> [a]

safeHead :: (MonadFail m, Foldable f) => f a -> m a

foldl :: MonoFoldable mono => (a -> Element mono -> a) -> a -> mono -> a

type Boolean = Bool

newtype Failed

Constructors

Failed String

Instances

Eq Failed

Methods

(==) :: Failed -> Failed -> Bool

(/=) :: Failed -> Failed -> Bool

Ord Failed

Methods

compare :: Failed -> Failed -> Ordering

(<) :: Failed -> Failed -> Bool

(<=) :: Failed -> Failed -> Bool

(>) :: Failed -> Failed -> Bool

(>=) :: Failed -> Failed -> Bool

max :: Failed -> Failed -> Failed

min :: Failed -> Failed -> Failed

Show Failed

Methods

showsPrec :: Int -> Failed -> ShowS

show :: Failed -> String

showList :: [Failed] -> ShowS

Generic Failed

Associated Types

type Rep Failed :: * -> *

Methods

from :: Failed -> Rep Failed x

to :: Rep Failed x -> Failed

Exception Failed

Methods

toException :: Failed -> SomeException

fromException :: SomeException -> Maybe Failed

displayException :: Failed -> String

type Rep Failed

type Rep Failed = D1 * (MetaData "Failed" "RFC.Prelude" "rfc-0.0.0.25-15KxfGyhIZ97jaC75BDYn8" True) (C1 * (MetaCons "Failed" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)))

module RFC.Data.UUID

module GHC.Generics

module Text.Read

module Data.Time.Units

module Data.Function

module Data.Typeable

module Control.Monad

module Data.Bitraversable

module Data.Bifunctor

module Data.Bifoldable

module Data.Default

module ClassyPrelude

module Control.Monad.Trans.Control

module RFC.String

module Data.Word

module Data.Semigroup

module Control.Monad.Fail

module Data.Time.Clock

module UnliftIO

module GHC.Exts

module Control.Lens.Lens

module Control.Lens.Prism

module Control.Lens.Type

module Data.Proxy

Orphan instances

(Monad m, MonadIO m) => MonadFail m

Methods

fail :: String -> m a

MonadFail Option

Methods

fail :: String -> Option a

MonadFail STM

Methods

fail :: String -> STM a

MonadFail (Either String)

Methods

fail :: String -> Either String a