Copyright	(c) digitally induced GmbH 2020
Safe Haskell	Safe-Inferred

IHP.RouterPrelude

Description

Synopsis

module IHP.RouterSupport
newtype UnliftIO (m :: Type -> Type) = UnliftIO {
- unliftIO :: forall a. m a -> IO a
}
data UTCTime = UTCTime {
- utctDay :: Day
- utctDayTime :: DiffTime
}
data Set a
data Text
class Read a
data Conc (m :: Type -> Type) a
class Monoid builder => Builder builder lazy | builder -> lazy, lazy -> builder where
- builderToLazy :: builder -> lazy
- flushBuilder :: builder
type String = [Char]
data Maybe a
- = Nothing
- | Just a
data ByteString
class (Typeable e, Show e) => Exception e where
- toException :: e -> SomeException
- fromException :: SomeException -> Maybe e
- displayException :: e -> String
class Typeable (a :: k)
data IO a
data Char
data Async a
class (Textual textual, IsSequence binary) => Utf8 textual binary | textual -> binary, binary -> textual where
- encodeUtf8 :: textual -> binary
- decodeUtf8 :: binary -> textual
class Applicative m => Monad (m :: Type -> Type) where
- (>>=) :: m a -> (a -> m b) -> m b
- (>>) :: m a -> m b -> m b
- return :: a -> m a
data Handle
data IOException
class (Integral (Index seq), GrowingAppend seq) => SemiSequence seq where
- type Index seq
- intersperse :: Element seq -> seq -> seq
- reverse :: seq -> seq
- find :: (Element seq -> Bool) -> seq -> Maybe (Element seq)
- sortBy :: (Element seq -> Element seq -> Ordering) -> seq -> seq
- cons :: Element seq -> seq -> seq
- snoc :: seq -> Element seq -> seq
type family Index seq
class Show a where
- showsPrec :: Int -> a -> ShowS
- showList :: [a] -> ShowS
class Functor (f :: Type -> Type) where
- fmap :: (a -> b) -> f a -> f b
- (<$) :: a -> f b -> f a
data Map k a
data MVar a
data IORef a
class IsString a where
- fromString :: String -> a
data Either a b
- = Left a
- | Right b
data Float
data Vector a
data HashMap k v
type LByteString = ByteString
data Bool
- = False
- | True
class Semigroup a => Monoid a where
- mempty :: a
- mappend :: a -> a -> a
- mconcat :: [a] -> a
class Functor f => Applicative (f :: Type -> Type) where
- pure :: a -> f a
- (<*>) :: f (a -> b) -> f a -> f b
- liftA2 :: (a -> b -> c) -> f a -> f b -> f c
- (*>) :: f a -> f b -> f b
- (<*) :: f a -> f b -> f a
class MonoFoldable mono where
- ofoldMap :: Monoid m => (Element mono -> m) -> mono -> m
- ofoldr :: (Element mono -> b -> b) -> b -> mono -> b
- ofoldl' :: (a -> Element mono -> a) -> a -> mono -> a
- otoList :: mono -> [Element mono]
- oall :: (Element mono -> Bool) -> mono -> Bool
- oany :: (Element mono -> Bool) -> mono -> Bool
- onull :: mono -> Bool
- olength :: mono -> Int
- olength64 :: mono -> Int64
- ocompareLength :: Integral i => mono -> i -> Ordering
- otraverse_ :: Applicative f => (Element mono -> f b) -> mono -> f ()
- ofor_ :: Applicative f => mono -> (Element mono -> f b) -> f ()
- omapM_ :: Applicative m => (Element mono -> m ()) -> mono -> m ()
- oforM_ :: Applicative m => mono -> (Element mono -> m ()) -> m ()
- ofoldlM :: Monad m => (a -> Element mono -> m a) -> a -> mono -> m a
- ofoldMap1Ex :: Semigroup m => (Element mono -> m) -> mono -> m
- ofoldr1Ex :: (Element mono -> Element mono -> Element mono) -> mono -> Element mono
- ofoldl1Ex' :: (Element mono -> Element mono -> Element mono) -> mono -> Element mono
- headEx :: mono -> Element mono
- lastEx :: mono -> Element mono
- unsafeHead :: mono -> Element mono
- unsafeLast :: mono -> Element mono
- maximumByEx :: (Element mono -> Element mono -> Ordering) -> mono -> Element mono
- minimumByEx :: (Element mono -> Element mono -> Ordering) -> mono -> Element mono
- oelem :: Element mono -> mono -> Bool
- onotElem :: Element mono -> mono -> Bool
class Eq a where
- (==) :: a -> a -> Bool
- (/=) :: a -> a -> Bool
type family Element mono
class Num a where
- (+) :: a -> a -> a
- (-) :: a -> a -> a
- (*) :: a -> a -> a
- negate :: a -> a
- abs :: a -> a
- signum :: a -> a
- fromInteger :: Integer -> a
data Integer
data Int
newtype Day = ModifiedJulianDay {
- toModifiedJulianDay :: Integer
}
class Enum a where
- succ :: a -> a
- pred :: a -> a
- toEnum :: Int -> a
- fromEnum :: a -> Int
- enumFrom :: a -> [a]
- enumFromThen :: a -> a -> [a]
- enumFromTo :: a -> a -> [a]
- enumFromThenTo :: a -> a -> a -> [a]
data AsyncCancelled = AsyncCancelled
data Chan a
data QSem
data QSemN
class Monad m => MonadIO (m :: Type -> Type) where
- liftIO :: IO a -> m a
class Bifunctor (p :: Type -> Type -> Type) where
- bimap :: (a -> b) -> (c -> d) -> p a c -> p b d
- first :: (a -> b) -> p a c -> p b c
- second :: (b -> c) -> p a b -> p a c
newtype Identity a = Identity {
- runIdentity :: a
}
newtype Down a = Down {
- getDown :: a
}
data WrappedMonoid m
class Storable a
class Applicative f => Alternative (f :: Type -> Type) where
- empty :: f a
- (<|>) :: f a -> f a -> f a
- some :: f a -> f [a]
- many :: f a -> f [a]
class (Alternative m, Monad m) => MonadPlus (m :: Type -> Type) where
- mzero :: m a
- mplus :: m a -> m a -> m a
data STM a
data TVar a
data SomeException = Exception e => SomeException e
type FilePath = String
data SeekMode
- = AbsoluteSeek
- | RelativeSeek
- | SeekFromEnd
type IOError = IOException
data IOErrorType
data SomeAsyncException = Exception e => SomeAsyncException e
data BufferMode
- = NoBuffering
- | LineBuffering
- | BlockBuffering (Maybe Int)
data IOMode
- = ReadMode
- | WriteMode
- | AppendMode
- | ReadWriteMode
data STRef s a
type LText = Text
type SVector = Vector
type UVector = Vector
type BlazeBuilder = Builder
type ByteStringBuilder = Builder
type TextBuilder = Builder
class ToBuilder value builder where
- toBuilder :: value -> builder
data IntMap a
data IntSet
data Seq a
class NFData a where
- rnf :: a -> ()
data DList a
data Handler (m :: Type -> Type) a = Exception e => Handler (e -> m a)
class Eq a => Hashable a where
- hashWithSalt :: Int -> a -> Int
- hash :: a -> Int
class BiPolyMap (map :: Type -> Type -> Type) where
- type BPMKeyConstraint (map :: Type -> Type -> Type) key
- mapKeysWith :: (BPMKeyConstraint map k1, BPMKeyConstraint map k2) => (v -> v -> v) -> (k1 -> k2) -> map k1 v -> map k2 v
type family BPMKeyConstraint (map :: Type -> Type -> Type) key
class (Monoid set, Semigroup set, MonoFoldable set, Eq (ContainerKey set), GrowingAppend set) => SetContainer set where
- type ContainerKey set
- member :: ContainerKey set -> set -> Bool
- notMember :: ContainerKey set -> set -> Bool
- union :: set -> set -> set
- unions :: (MonoFoldable mono, Element mono ~ set) => mono -> set
- difference :: set -> set -> set
- intersection :: set -> set -> set
- keys :: set -> [ContainerKey set]
type family ContainerKey set
class SetContainer set => HasKeysSet set where
- type KeySet set
- keysSet :: set -> KeySet set
type family KeySet set
class (MonoTraversable map, SetContainer map) => IsMap map where
- type MapValue map
- lookup :: ContainerKey map -> map -> Maybe (MapValue map)
- insertMap :: ContainerKey map -> MapValue map -> map -> map
- deleteMap :: ContainerKey map -> map -> map
- singletonMap :: ContainerKey map -> MapValue map -> map
- mapFromList :: [(ContainerKey map, MapValue map)] -> map
- mapToList :: map -> [(ContainerKey map, MapValue map)]
- findWithDefault :: MapValue map -> ContainerKey map -> map -> MapValue map
- insertWith :: (MapValue map -> MapValue map -> MapValue map) -> ContainerKey map -> MapValue map -> map -> map
- insertWithKey :: (ContainerKey map -> MapValue map -> MapValue map -> MapValue map) -> ContainerKey map -> MapValue map -> map -> map
- insertLookupWithKey :: (ContainerKey map -> MapValue map -> MapValue map -> MapValue map) -> ContainerKey map -> MapValue map -> map -> (Maybe (MapValue map), map)
- adjustMap :: (MapValue map -> MapValue map) -> ContainerKey map -> map -> map
- adjustWithKey :: (ContainerKey map -> MapValue map -> MapValue map) -> ContainerKey map -> map -> map
- updateMap :: (MapValue map -> Maybe (MapValue map)) -> ContainerKey map -> map -> map
- updateWithKey :: (ContainerKey map -> MapValue map -> Maybe (MapValue map)) -> ContainerKey map -> map -> map
- updateLookupWithKey :: (ContainerKey map -> MapValue map -> Maybe (MapValue map)) -> ContainerKey map -> map -> (Maybe (MapValue map), map)
- alterMap :: (Maybe (MapValue map) -> Maybe (MapValue map)) -> ContainerKey map -> map -> map
- unionWith :: (MapValue map -> MapValue map -> MapValue map) -> map -> map -> map
- unionWithKey :: (ContainerKey map -> MapValue map -> MapValue map -> MapValue map) -> map -> map -> map
- unionsWith :: (MapValue map -> MapValue map -> MapValue map) -> [map] -> map
- mapWithKey :: (ContainerKey map -> MapValue map -> MapValue map) -> map -> map
- omapKeysWith :: (MapValue map -> MapValue map -> MapValue map) -> (ContainerKey map -> ContainerKey map) -> map -> map
- filterMap :: (MapValue map -> Bool) -> map -> map
type family MapValue map
class (SetContainer set, Element set ~ ContainerKey set) => IsSet set where
- insertSet :: Element set -> set -> set
- deleteSet :: Element set -> set -> set
- singletonSet :: Element set -> set
- setFromList :: [Element set] -> set
- setToList :: set -> [Element set]
- filterSet :: (Element set -> Bool) -> set -> set
class MonoFunctor mono => MonoZip mono where
- ozipWith :: (Element mono -> Element mono -> Element mono) -> mono -> mono -> mono
- ozip :: mono -> mono -> [(Element mono, Element mono)]
- ounzip :: [(Element mono, Element mono)] -> (mono, mono)
class PolyMap (map :: Type -> Type) where
- differenceMap :: map value1 -> map value2 -> map value1
- intersectionMap :: map value1 -> map value2 -> map value1
- intersectionWithMap :: (value1 -> value2 -> value3) -> map value1 -> map value2 -> map value3
class MonoFoldable mono => GrowingAppend mono
class MonoFunctor mono => MonoComonad mono where
- oextract :: mono -> Element mono
- oextend :: (mono -> Element mono) -> mono -> mono
class MonoFunctor mono where
- omap :: (Element mono -> Element mono) -> mono -> mono
class MonoPointed mono where
- opoint :: Element mono -> mono
class (MonoFunctor mono, MonoFoldable mono) => MonoTraversable mono where
- otraverse :: Applicative f => (Element mono -> f (Element mono)) -> mono -> f mono
- omapM :: Applicative m => (Element mono -> m (Element mono)) -> mono -> m mono
data WrappedMono mono a where
- WrappedMono :: forall mono a. Element mono ~ a => mono -> WrappedMono mono a
newtype WrappedPoly (f :: Type -> Type) a = WrappedPoly {
- unwrapPoly :: f a
}
data NonNull mono
class (Monoid seq, MonoTraversable seq, SemiSequence seq, MonoPointed seq) => IsSequence seq where
- fromList :: [Element seq] -> seq
- lengthIndex :: seq -> Index seq
- break :: (Element seq -> Bool) -> seq -> (seq, seq)
- span :: (Element seq -> Bool) -> seq -> (seq, seq)
- dropWhile :: (Element seq -> Bool) -> seq -> seq
- splitAt :: Index seq -> seq -> (seq, seq)
- unsafeSplitAt :: Index seq -> seq -> (seq, seq)
- unsafeTake :: Index seq -> seq -> seq
- drop :: Index seq -> seq -> seq
- unsafeDrop :: Index seq -> seq -> seq
- dropEnd :: Index seq -> seq -> seq
- partition :: (Element seq -> Bool) -> seq -> (seq, seq)
- uncons :: seq -> Maybe (Element seq, seq)
- unsnoc :: seq -> Maybe (seq, Element seq)
- filter :: (Element seq -> Bool) -> seq -> seq
- filterM :: Monad m => (Element seq -> m Bool) -> seq -> m seq
- replicate :: Index seq -> Element seq -> seq
- replicateM :: Monad m => Index seq -> m (Element seq) -> m seq
- groupBy :: (Element seq -> Element seq -> Bool) -> seq -> [seq]
- groupAllOn :: Eq b => (Element seq -> b) -> seq -> [seq]
- subsequences :: seq -> [seq]
- permutations :: seq -> [seq]
- tailEx :: seq -> seq
- tailMay :: seq -> Maybe seq
- initEx :: seq -> seq
- initMay :: seq -> Maybe seq
- unsafeTail :: seq -> seq
- unsafeInit :: seq -> seq
- indexEx :: seq -> Index seq -> Element seq
- unsafeIndex :: seq -> Index seq -> Element seq
- splitWhen :: (Element seq -> Bool) -> seq -> [seq]
class (IsSequence lazy, IsSequence strict) => LazySequence lazy strict | lazy -> strict, strict -> lazy where
- toChunks :: lazy -> [strict]
- fromChunks :: [strict] -> lazy
- toStrict :: lazy -> strict
- fromStrict :: strict -> lazy
class (IsSequence t, IsString t, Element t ~ Char) => Textual t where
- words :: t -> [t]
- unwords :: (Element seq ~ t, MonoFoldable seq) => seq -> t
- lines :: t -> [t]
- unlines :: (Element seq ~ t, MonoFoldable seq) => seq -> t
- toLower :: t -> t
- toUpper :: t -> t
- toCaseFold :: t -> t
- breakWord :: t -> (t, t)
- breakLine :: t -> (t, t)
class Monad m => MonadReader r (m :: Type -> Type) | m -> r where
- ask :: m r
data BRef s a
type IOBRef = BRef (PrimState IO)
class MutableContainer c => MutableCollection c where
- type CollElement c
- newColl :: (PrimMonad m, PrimState m ~ MCState c) => m c
type family CollElement c
class MutableContainer c where
- type MCState c
type family MCState c
class MutableRef c => MutableAtomicRef c where
- atomicModifyRef :: (PrimMonad m, PrimState m ~ MCState c) => c -> (RefElement c -> (RefElement c, a)) -> m a
- atomicModifyRef' :: (PrimMonad m, PrimState m ~ MCState c) => c -> (RefElement c -> (RefElement c, a)) -> m a
type MutableDeque c = (MutableQueue c, MutablePushFront c, MutablePopBack c)
class MutableCollection c => MutablePopBack c where
- popBack :: (PrimMonad m, PrimState m ~ MCState c) => c -> m (Maybe (CollElement c))
class MutableCollection c => MutablePopFront c where
- popFront :: (PrimMonad m, PrimState m ~ MCState c) => c -> m (Maybe (CollElement c))
class MutableCollection c => MutablePushBack c where
- pushBack :: (PrimMonad m, PrimState m ~ MCState c) => c -> CollElement c -> m ()
class MutableCollection c => MutablePushFront c where
- pushFront :: (PrimMonad m, PrimState m ~ MCState c) => c -> CollElement c -> m ()
type MutableQueue c = (MutablePopFront c, MutablePushBack c)
class MutableContainer c => MutableRef c where
- type RefElement c
- newRef :: (PrimMonad m, PrimState m ~ MCState c) => RefElement c -> m c
- readRef :: (PrimMonad m, PrimState m ~ MCState c) => c -> m (RefElement c)
- writeRef :: (PrimMonad m, PrimState m ~ MCState c) => c -> RefElement c -> m ()
- modifyRef :: (PrimMonad m, PrimState m ~ MCState c) => c -> (RefElement c -> RefElement c) -> m ()
- modifyRef' :: (PrimMonad m, PrimState m ~ MCState c) => c -> (RefElement c -> RefElement c) -> m ()
type family RefElement c
type MutableStack c = (MutablePopFront c, MutablePushFront c)
data DLList s a
type BDeque = Deque MVector
data Deque (v :: Type -> Type -> Type) s a
type SDeque = Deque MVector
type UDeque = Deque MVector
type IOPRef = PRef (PrimState IO)
data PRef s a
type IOSRef = SRef (PrimState IO)
data SRef s a
type IOURef = URef (PrimState IO)
data URef s a
class Monad m => PrimMonad (m :: Type -> Type) where
- type PrimState (m :: Type -> Type)
type family PrimState (m :: Type -> Type)
data MutVar s a = MutVar (MutVar# s a)
class Prim a
data AsyncExceptionWrapper = Exception e => AsyncExceptionWrapper e
data SyncExceptionWrapper = Exception e => SyncExceptionWrapper e
data TBQueue a
data TChan a
data TMVar a
data TQueue a
data TBChan a
data TBMChan a
data TBMQueue a
data TMChan a
data TMQueue a
type Reader r = ReaderT r Identity
newtype ReaderT r (m :: Type -> Type) a = ReaderT {
- runReaderT :: r -> m a
}
data StringException = StringException String CallStack
data ConcException = EmptyWithNoAlternative
newtype Concurrently (m :: Type -> Type) a = Concurrently {
- runConcurrently :: m a
}
data Memoized a
class MonadIO m => MonadUnliftIO (m :: Type -> Type) where
- withRunInIO :: ((forall a. m a -> IO a) -> IO b) -> m b
data HashSet a
class (Vector Vector a, MVector MVector a) => Unbox a
data RealWorld
data Double
data Word
data Ordering
- = LT
- | EQ
- | GT
class Foldable (t :: Type -> Type)
class (Functor t, Foldable t) => Traversable (t :: Type -> Type) where
- traverse :: Applicative f => (a -> f b) -> t a -> f (t b)
- sequenceA :: Applicative f => t (f a) -> f (t a)
- mapM :: Monad m => (a -> m b) -> t a -> m (t b)
- sequence :: Monad m => t (m a) -> m (t a)
class Semigroup a where
- (<>) :: a -> a -> a
- sconcat :: NonEmpty a -> a
- stimes :: Integral b => b -> a -> a
type Rational = Ratio Integer
class (Real a, Fractional a) => RealFrac a where
- properFraction :: Integral b => a -> (b, a)
- truncate :: Integral b => a -> b
- round :: Integral b => a -> b
- ceiling :: Integral b => a -> b
- floor :: Integral b => a -> b
class Num a => Fractional a where
- (/) :: a -> a -> a
- recip :: a -> a
- fromRational :: Rational -> a
class (Real a, Enum a) => Integral a where
- quot :: a -> a -> a
- rem :: a -> a -> a
- div :: a -> a -> a
- mod :: a -> a -> a
- quotRem :: a -> a -> (a, a)
- divMod :: a -> a -> (a, a)
- toInteger :: a -> Integer
class (Num a, Ord a) => Real a where
- toRational :: a -> Rational
class Eq a => Ord a where
- compare :: a -> a -> Ordering
- (<) :: a -> a -> Bool
- (<=) :: a -> a -> Bool
- (>) :: a -> a -> Bool
- (>=) :: a -> a -> Bool
- max :: a -> a -> a
- min :: a -> a -> a
class Bounded a where
- minBound :: a
- maxBound :: a
class (RealFrac a, Floating a) => RealFloat a where
- floatRadix :: a -> Integer
- floatDigits :: a -> Int
- floatRange :: a -> (Int, Int)
- decodeFloat :: a -> (Integer, Int)
- encodeFloat :: Integer -> Int -> a
- exponent :: a -> Int
- significand :: a -> a
- scaleFloat :: Int -> a -> a
- isNaN :: a -> Bool
- isInfinite :: a -> Bool
- isDenormalized :: a -> Bool
- isNegativeZero :: a -> Bool
- isIEEE :: a -> Bool
- atan2 :: a -> a -> a
class Fractional a => Floating a where
- pi :: a
- exp :: a -> a
- log :: a -> a
- sqrt :: a -> a
- (**) :: a -> a -> a
- logBase :: a -> a -> a
- sin :: a -> a
- cos :: a -> a
- tan :: a -> a
- asin :: a -> a
- acos :: a -> a
- atan :: a -> a
- sinh :: a -> a
- cosh :: a -> a
- tanh :: a -> a
- asinh :: a -> a
- acosh :: a -> a
- atanh :: a -> a
data Word64
data Word32
data Word8
data Int64
data Int32
class Generic a
async :: MonadUnliftIO m => m a -> m (Async a)
deepseq :: NFData a => a -> b -> b
say :: MonadIO m => Text -> m ()
void :: Functor f => f a -> f ()
group :: (IsSequence seq, Eq (Element seq)) => seq -> [seq]
(.) :: forall (b :: k) (c :: k) (a :: k). Category cat => cat b c -> cat a b -> cat a c
id :: forall (a :: k). Category cat => cat a a
mapMaybe :: (a -> Maybe b) -> [a] -> [b]
fromMaybe :: a -> Maybe a -> a
isJust :: Maybe a -> Bool
listToMaybe :: [a] -> Maybe a
tshow :: Show a => a -> Text
error :: forall (r :: RuntimeRep) (a :: TYPE r). HasCallStack => [Char] -> a
map :: Functor f => (a -> b) -> f a -> f b
putStrLn :: MonadIO m => Text -> m ()
elem :: (MonoFoldable mono, Eq (Element mono)) => Element mono -> mono -> Bool
putStr :: MonadIO m => Text -> m ()
print :: (Show a, MonadIO m) => a -> m ()
($) :: forall (r :: RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b
join :: Monad m => m (m a) -> m a
finally :: MonadUnliftIO m => m a -> m b -> m a
catch :: (MonadUnliftIO m, Exception e) => m a -> (e -> m a) -> m a
head :: MonoFoldable mono => NonNull mono -> Element mono
headMay :: MonoFoldable mono => mono -> Maybe (Element mono)
last :: MonoFoldable mono => NonNull mono -> Element mono
lastMay :: MonoFoldable mono => mono -> Maybe (Element mono)
tail :: IsSequence seq => NonNull seq -> seq
init :: IsSequence seq => NonNull seq -> seq
(++) :: Monoid m => m -> m -> m
null :: MonoFoldable mono => mono -> Bool
when :: Applicative f => Bool -> f () -> f ()
unless :: Applicative f => Bool -> f () -> f ()
mapM_ :: (MonoFoldable mono, Applicative m) => (Element mono -> m ()) -> mono -> m ()
forM :: (Traversable t, Monad m) => t a -> (a -> m b) -> m (t b)
forM_ :: (MonoFoldable mono, Applicative m) => mono -> (Element mono -> m ()) -> m ()
sequence_ :: (Applicative m, MonoFoldable mono, Element mono ~ m ()) => mono -> m ()
forever :: Applicative f => f a -> f b
isPrefixOf :: (IsSequence seq, Eq (Element seq)) => seq -> seq -> Bool
isSuffixOf :: (IsSequence seq, Eq (Element seq)) => seq -> seq -> Bool
isInfixOf :: (IsSequence seq, Eq (Element seq)) => seq -> seq -> Bool
intercalate :: (MonoFoldable mono, Monoid (Element mono)) => Element mono -> mono -> Element mono
throwIO :: (MonadIO m, Exception e) => e -> m a
(<&>) :: Functor f => f a -> (a -> b) -> f b
bool :: a -> a -> Bool -> a
toGregorian :: Day -> (Year, MonthOfYear, DayOfMonth)
getCurrentTime :: IO UTCTime
(||) :: Bool -> Bool -> Bool
(<&&>) :: Applicative a => a Bool -> a Bool -> a Bool
(<||>) :: Applicative a => a Bool -> a Bool -> a Bool
(\\) :: SetContainer a => a -> a -> a
traceShowM :: (Show a, Monad m) => a -> m ()
traceShowId :: Show a => a -> a
traceM :: Monad m => String -> m ()
traceId :: String -> String
traceShow :: Show a => a -> b -> b
trace :: String -> a -> a
undefined :: HasCallStack => a
pollSTM :: Async a -> STM (Maybe (Either SomeException a))
waitAnyCatchSTM :: [Async a] -> STM (Async a, Either SomeException a)
waitAnySTM :: [Async a] -> STM (Async a, a)
waitBothSTM :: Async a -> Async b -> STM (a, b)
waitCatchSTM :: Async a -> STM (Either SomeException a)
waitEitherCatchSTM :: Async a -> Async b -> STM (Either (Either SomeException a) (Either SomeException b))
waitEitherSTM :: Async a -> Async b -> STM (Either a b)
waitEitherSTM_ :: Async a -> Async b -> STM ()
waitSTM :: Async a -> STM a
optional :: Alternative f => f a -> f (Maybe a)
(<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c
(>=>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c
replicateM_ :: Applicative m => Int -> m a -> m ()
either :: (a -> c) -> (b -> c) -> Either a b -> c
lefts :: [Either a b] -> [a]
partitionEithers :: [Either a b] -> ([a], [b])
rights :: [Either a b] -> [b]
asum :: (Foldable t, Alternative f) => t (f a) -> f a
on :: (b -> b -> c) -> (a -> b) -> a -> a -> c
($>) :: Functor f => f a -> b -> f b
(<$>) :: Functor f => (a -> b) -> f a -> f b
isNothing :: Maybe a -> Bool
maybe :: b -> (a -> b) -> Maybe a -> b
maybeToList :: Maybe a -> [a]
comparing :: Ord a => (b -> a) -> b -> b -> Ordering
for :: (Traversable t, Applicative f) => t a -> (a -> f b) -> f (t b)
curry :: ((a, b) -> c) -> a -> b -> c
fst :: (a, b) -> a
snd :: (a, b) -> b
swap :: (a, b) -> (b, a)
uncurry :: (a -> b -> c) -> (a, b) -> c
($!) :: forall (r :: RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b
(<**>) :: Applicative f => f a -> f (a -> b) -> f b
(=<<) :: Monad m => (a -> m b) -> m a -> m b
ap :: Monad m => m (a -> b) -> m a -> m b
asTypeOf :: a -> a -> a
const :: a -> b -> a
flip :: (a -> b -> c) -> b -> a -> c
liftA :: Applicative f => (a -> b) -> f a -> f b
liftA3 :: Applicative f => (a -> b -> c -> d) -> f a -> f b -> f c -> f d
liftM :: Monad m => (a1 -> r) -> m a1 -> m r
liftM2 :: Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r
liftM3 :: Monad m => (a1 -> a2 -> a3 -> r) -> m a1 -> m a2 -> m a3 -> m r
liftM4 :: Monad m => (a1 -> a2 -> a3 -> a4 -> r) -> m a1 -> m a2 -> m a3 -> m a4 -> m r
liftM5 :: Monad m => (a1 -> a2 -> a3 -> a4 -> a5 -> r) -> m a1 -> m a2 -> m a3 -> m a4 -> m a5 -> m r
until :: (a -> Bool) -> (a -> a) -> a -> a
newTVar :: a -> STM (TVar a)
orElse :: STM a -> STM a -> STM a
readTVar :: TVar a -> STM a
writeTVar :: TVar a -> a -> STM ()
asyncExceptionFromException :: Exception e => SomeException -> Maybe e
asyncExceptionToException :: Exception e => e -> SomeException
ioError :: IOError -> IO a
userError :: String -> IOError
stderr :: Handle
stdin :: Handle
stdout :: Handle
repeat :: a -> [a]
subtract :: Num a => a -> a -> a
(^) :: (Num a, Integral b) => a -> b -> a
(^^) :: (Fractional a, Integral b) => a -> b -> a
even :: Integral a => a -> Bool
odd :: Integral a => a -> Bool
alreadyExistsErrorType :: IOErrorType
alreadyInUseErrorType :: IOErrorType
annotateIOError :: IOError -> String -> Maybe Handle -> Maybe FilePath -> IOError
doesNotExistErrorType :: IOErrorType
eofErrorType :: IOErrorType
fullErrorType :: IOErrorType
illegalOperationErrorType :: IOErrorType
ioeGetErrorString :: IOError -> String
ioeGetErrorType :: IOError -> IOErrorType
ioeGetFileName :: IOError -> Maybe FilePath
ioeGetHandle :: IOError -> Maybe Handle
ioeGetLocation :: IOError -> String
ioeSetErrorString :: IOError -> String -> IOError
ioeSetErrorType :: IOError -> IOErrorType -> IOError
ioeSetFileName :: IOError -> FilePath -> IOError
ioeSetHandle :: IOError -> Handle -> IOError
ioeSetLocation :: IOError -> String -> IOError
isAlreadyExistsError :: IOError -> Bool
isAlreadyExistsErrorType :: IOErrorType -> Bool
isAlreadyInUseError :: IOError -> Bool
isAlreadyInUseErrorType :: IOErrorType -> Bool
isDoesNotExistError :: IOError -> Bool
isDoesNotExistErrorType :: IOErrorType -> Bool
isEOFError :: IOError -> Bool
isEOFErrorType :: IOErrorType -> Bool
isFullError :: IOError -> Bool
isFullErrorType :: IOErrorType -> Bool
isIllegalOperation :: IOError -> Bool
isIllegalOperationErrorType :: IOErrorType -> Bool
isPermissionError :: IOError -> Bool
isPermissionErrorType :: IOErrorType -> Bool
isResourceVanishedError :: IOError -> Bool
isResourceVanishedErrorType :: IOErrorType -> Bool
isUserError :: IOError -> Bool
isUserErrorType :: IOErrorType -> Bool
mkIOError :: IOErrorType -> String -> Maybe Handle -> Maybe FilePath -> IOError
modifyIOError :: (IOError -> IOError) -> IO a -> IO a
permissionErrorType :: IOErrorType
resourceVanishedErrorType :: IOErrorType
tryIOError :: IO a -> IO (Either IOError a)
userErrorType :: IOErrorType
equating :: Eq a => (b -> a) -> b -> b -> Bool
getArgs :: MonadIO m => m [Text]
terror :: HasCallStack => Text -> a
textToBuilder :: ToBuilder Text builder => Text -> builder
applyDList :: DList a -> [a] -> [a]
asByteString :: ByteString -> ByteString
asDList :: DList a -> DList a
asHashMap :: HashMap k v -> HashMap k v
asHashSet :: HashSet a -> HashSet a
asIntMap :: IntMap v -> IntMap v
asIntSet :: IntSet -> IntSet
asLByteString :: LByteString -> LByteString
asLText :: LText -> LText
asList :: [a] -> [a]
asMap :: Map k v -> Map k v
asMaybe :: Maybe a -> Maybe a
asSVector :: SVector a -> SVector a
asSet :: Set a -> Set a
asString :: [Char] -> [Char]
asText :: Text -> Text
asUVector :: UVector a -> UVector a
asVector :: Vector a -> Vector a
charToLower :: Char -> Char
charToUpper :: Char -> Char
fromByteVector :: SVector Word8 -> ByteString
getChar :: MonadIO m => m Char
getContents :: MonadIO m => m LText
getLine :: MonadIO m => m Text
hGetChunk :: MonadIO m => Handle -> m ByteString
hGetContents :: MonadIO m => Handle -> m ByteString
hPut :: MonadIO m => Handle -> ByteString -> m ()
hashNub :: (Hashable a, Eq a) => [a] -> [a]
interact :: MonadIO m => (LText -> LText) -> m ()
intersect :: SetContainer a => a -> a -> a
link2Async :: MonadIO m => Async a -> Async b -> m ()
linkAsync :: MonadIO m => Async a -> m ()
orElseSTM :: STM a -> STM a -> STM a
ordNub :: Ord a => [a] -> [a]
ordNubBy :: Ord b => (a -> b) -> (a -> a -> Bool) -> [a] -> [a]
parseTime :: ParseTime t => TimeLocale -> String -> String -> Maybe t
pollAsync :: MonadIO m => Async a -> m (Maybe (Either SomeException a))
putChar :: MonadIO m => Char -> m ()
readFile :: MonadIO m => FilePath -> m ByteString
readFileUtf8 :: MonadIO m => FilePath -> m Text
readMay :: (Element c ~ Char, MonoFoldable c, Read a) => c -> Maybe a
sortWith :: (Ord a, IsSequence c) => (Element c -> a) -> c -> c
tlshow :: Show a => a -> LText
toByteVector :: ByteString -> SVector Word8
unlessM :: Monad m => m Bool -> m () -> m ()
waitAsync :: MonadIO m => Async a -> m a
waitCatchAsync :: MonadIO m => Async a -> m (Either SomeException a)
whenM :: Monad m => m Bool -> m () -> m ()
writeFile :: MonadIO m => FilePath -> ByteString -> m ()
writeFileUtf8 :: MonadIO m => FilePath -> Text -> m ()
yieldThread :: MonadIO m => m ()
($!!) :: NFData a => (a -> b) -> a -> b
force :: NFData a => a -> a
(<.>) :: FilePath -> String -> FilePath
(</>) :: FilePath -> FilePath -> FilePath
(&&) :: Bool -> Bool -> Bool
not :: Bool -> Bool
maximumByMay :: MonoFoldable mono => (Element mono -> Element mono -> Ordering) -> mono -> Maybe (Element mono)
maximumEx :: (MonoFoldable mono, Ord (Element mono)) => mono -> Element mono
maximumMay :: (MonoFoldable mono, Ord (Element mono)) => mono -> Maybe (Element mono)
minimumByMay :: MonoFoldable mono => (Element mono -> Element mono -> Ordering) -> mono -> Maybe (Element mono)
minimumEx :: (MonoFoldable mono, Ord (Element mono)) => mono -> Element mono
minimumMay :: (MonoFoldable mono, Ord (Element mono)) => mono -> Maybe (Element mono)
oand :: (Element mono ~ Bool, MonoFoldable mono) => mono -> Bool
oconcat :: (MonoFoldable mono, Monoid (Element mono)) => mono -> Element mono
oconcatMap :: (MonoFoldable mono, Monoid m) => (Element mono -> m) -> mono -> m
ofold :: (MonoFoldable mono, Monoid (Element mono)) => mono -> Element mono
ofoldM :: (MonoFoldable mono, Monad m) => (a -> Element mono -> m a) -> a -> mono -> m a
ofoldMUnwrap :: (Monad m, MonoFoldable mono) => (x -> Element mono -> m x) -> m x -> (x -> m b) -> mono -> m b
ofoldlUnwrap :: MonoFoldable mono => (x -> Element mono -> x) -> x -> (x -> b) -> mono -> b
ofor :: (MonoTraversable mono, Applicative f) => mono -> (Element mono -> f (Element mono)) -> f mono
oforM :: (MonoTraversable mono, Applicative f) => mono -> (Element mono -> f (Element mono)) -> f mono
ointercalate :: (MonoFoldable mono, Monoid (Element mono)) => Element mono -> mono -> Element mono
oor :: (Element mono ~ Bool, MonoFoldable mono) => mono -> Bool
oproduct :: (MonoFoldable mono, Num (Element mono)) => mono -> Element mono
osequence_ :: (Applicative m, MonoFoldable mono, Element mono ~ m ()) => mono -> m ()
osum :: (MonoFoldable mono, Num (Element mono)) => mono -> Element mono
replaceElem :: (MonoFunctor mono, Eq (Element mono)) => Element mono -> Element mono -> mono -> mono
replaceElemLazyText :: Char -> Char -> Text -> Text
replaceElemStrictText :: Char -> Char -> Text -> Text
unwrapMono :: WrappedMono mono a -> mono
all :: MonoFoldable mono => (Element mono -> Bool) -> mono -> Bool
and :: (MonoFoldable mono, Element mono ~ Bool) => mono -> Bool
any :: MonoFoldable mono => (Element mono -> Bool) -> mono -> Bool
compareLength :: (MonoFoldable mono, Integral i) => mono -> i -> Ordering
concat :: (MonoFoldable mono, Monoid (Element mono)) => mono -> Element mono
concatMap :: (MonoFoldable mono, Monoid m) => (Element mono -> m) -> mono -> m
fold :: (MonoFoldable mono, Monoid (Element mono)) => mono -> Element mono
foldM :: (MonoFoldable mono, Monad m) => (a -> Element mono -> m a) -> a -> mono -> m a
foldMap :: (MonoFoldable mono, Monoid m) => (Element mono -> m) -> mono -> m
foldMap1Ex :: (MonoFoldable mono, Semigroup m) => (Element mono -> m) -> mono -> m
foldl' :: MonoFoldable mono => (a -> Element mono -> a) -> a -> mono -> a
foldl1Ex' :: MonoFoldable mono => (Element mono -> Element mono -> Element mono) -> mono -> Element mono
foldlM :: (MonoFoldable mono, Monad m) => (a -> Element mono -> m a) -> a -> mono -> m a
foldr :: MonoFoldable mono => (Element mono -> b -> b) -> b -> mono -> b
foldr1Ex :: MonoFoldable mono => (Element mono -> Element mono -> Element mono) -> mono -> Element mono
for_ :: (MonoFoldable mono, Applicative f) => mono -> (Element mono -> f b) -> f ()
length :: MonoFoldable mono => mono -> Int
length64 :: MonoFoldable mono => mono -> Int64
notElem :: (MonoFoldable mono, Eq (Element mono)) => Element mono -> mono -> Bool
or :: (MonoFoldable mono, Element mono ~ Bool) => mono -> Bool
point :: MonoPointed mono => Element mono -> mono
product :: (MonoFoldable mono, Num (Element mono)) => mono -> Element mono
sum :: (MonoFoldable mono, Num (Element mono)) => mono -> Element mono
toList :: MonoFoldable mono => mono -> [Element mono]
traverse_ :: (MonoFoldable mono, Applicative f) => (Element mono -> f b) -> mono -> f ()
(<|) :: SemiSequence seq => Element seq -> NonNull seq -> NonNull seq
fromNonEmpty :: IsSequence seq => NonEmpty (Element seq) -> NonNull seq
fromNullable :: MonoFoldable mono => mono -> Maybe (NonNull mono)
impureNonNull :: MonoFoldable mono => mono -> NonNull mono
mapNonNull :: (Functor f, MonoFoldable (f b)) => (a -> b) -> NonNull (f a) -> NonNull (f b)
maximum :: (MonoFoldable mono, Ord (Element mono)) => NonNull mono -> Element mono
maximumBy :: MonoFoldable mono => (Element mono -> Element mono -> Ordering) -> NonNull mono -> Element mono
minimum :: (MonoFoldable mono, Ord (Element mono)) => NonNull mono -> Element mono
minimumBy :: MonoFoldable mono => (Element mono -> Element mono -> Ordering) -> NonNull mono -> Element mono
nReplicate :: IsSequence seq => Index seq -> Element seq -> NonNull seq
ncons :: SemiSequence seq => Element seq -> seq -> NonNull seq
nfilter :: IsSequence seq => (Element seq -> Bool) -> NonNull seq -> seq
nfilterM :: (Monad m, IsSequence seq) => (Element seq -> m Bool) -> NonNull seq -> m seq
nonNull :: MonoFoldable mono => mono -> NonNull mono
nuncons :: IsSequence seq => NonNull seq -> (Element seq, Maybe (NonNull seq))
ofold1 :: (MonoFoldable mono, Semigroup (Element mono)) => NonNull mono -> Element mono
ofoldMap1 :: (MonoFoldable mono, Semigroup m) => (Element mono -> m) -> NonNull mono -> m
ofoldl1' :: MonoFoldable mono => (Element mono -> Element mono -> Element mono) -> NonNull mono -> Element mono
ofoldr1 :: MonoFoldable mono => (Element mono -> Element mono -> Element mono) -> NonNull mono -> Element mono
splitFirst :: IsSequence seq => NonNull seq -> (Element seq, seq)
toMinList :: NonEmpty a -> NonNull [a]
toNonEmpty :: MonoFoldable mono => NonNull mono -> NonEmpty (Element mono)
catMaybes :: (IsSequence (f (Maybe t)), Functor f, Element (f (Maybe t)) ~ Maybe t) => f (Maybe t) -> f t
defaultCons :: IsSequence seq => Element seq -> seq -> seq
defaultFind :: MonoFoldable seq => (Element seq -> Bool) -> seq -> Maybe (Element seq)
defaultIntersperse :: IsSequence seq => Element seq -> seq -> seq
defaultReverse :: IsSequence seq => seq -> seq
defaultSnoc :: IsSequence seq => seq -> Element seq -> seq
defaultSortBy :: IsSequence seq => (Element seq -> Element seq -> Ordering) -> seq -> seq
defaultSplitWhen :: IsSequence seq => (Element seq -> Bool) -> seq -> [seq]
deleteBy :: (IsSequence seq, Eq (Element seq)) => (Element seq -> Element seq -> Bool) -> Element seq -> seq -> seq
dropPrefix :: (IsSequence seq, Eq (Element seq)) => seq -> seq -> seq
dropSuffix :: (IsSequence seq, Eq (Element seq)) => seq -> seq -> seq
ensurePrefix :: (Eq (Element seq), IsSequence seq) => seq -> seq -> seq
ensureSuffix :: (Eq (Element seq), IsSequence seq) => seq -> seq -> seq
groupAll :: (IsSequence seq, Eq (Element seq)) => seq -> [seq]
initDef :: IsSequence seq => seq -> seq
pack :: IsSequence seq => [Element seq] -> seq
repack :: (MonoFoldable a, IsSequence b, Element a ~ Element b) => a -> b
replaceSeq :: (IsSequence seq, Eq (Element seq)) => seq -> seq -> seq -> seq
replaceSeqLazyText :: Text -> Text -> Text -> Text
replaceSeqStrictText :: Text -> Text -> Text -> Text
singleton :: MonoPointed seq => Element seq -> seq
sort :: (SemiSequence seq, Ord (Element seq)) => seq -> seq
sortOn :: (Ord o, SemiSequence seq) => (Element seq -> o) -> seq -> seq
splitElem :: (IsSequence seq, Eq (Element seq)) => Element seq -> seq -> [seq]
splitElemStrictBS :: Word8 -> ByteString -> [ByteString]
splitSeq :: (IsSequence seq, Eq (Element seq)) => seq -> seq -> [seq]
splitSeqLazyBS :: Word8 -> ByteString -> [ByteString]
splitSeqLazyText :: Text -> Text -> [Text]
splitSeqStrictText :: Text -> Text -> [Text]
stripPrefix :: (IsSequence seq, Eq (Element seq)) => seq -> seq -> Maybe seq
stripPrefixLazyBS :: ByteString -> ByteString -> Maybe ByteString
stripPrefixStrictBS :: ByteString -> ByteString -> Maybe ByteString
stripSuffix :: (IsSequence seq, Eq (Element seq)) => seq -> seq -> Maybe seq
stripSuffixLazyBS :: ByteString -> ByteString -> Maybe ByteString
stripSuffixStrictBS :: ByteString -> ByteString -> Maybe ByteString
tailDef :: IsSequence seq => seq -> seq
unpack :: MonoFoldable mono => mono -> [Element mono]
vectorSort :: (Vector v e, Ord e) => v e -> v e
vectorSortBy :: Vector v e => (e -> e -> Ordering) -> v e -> v e
asks :: MonadReader r m => (r -> a) -> m a
asBRef :: BRef s a -> BRef s a
asIORef :: IORef a -> IORef a
asMutVar :: MutVar s a -> MutVar s a
asSTRef :: STRef s a -> STRef s a
asDLList :: DLList s a -> DLList s a
asBDeque :: BDeque s a -> BDeque s a
asSDeque :: SDeque s a -> SDeque s a
asUDeque :: UDeque s a -> UDeque s a
asPRef :: PRef s a -> PRef s a
asSRef :: SRef s a -> SRef s a
asURef :: URef s a -> URef s a
primToIO :: (PrimBase m, PrimState m ~ RealWorld) => m a -> IO a
primToPrim :: (PrimBase m1, PrimMonad m2, PrimState m1 ~ PrimState m2) => m1 a -> m2 a
primToST :: PrimBase m => m a -> ST (PrimState m) a
atomicModifyMutVar :: PrimMonad m => MutVar (PrimState m) a -> (a -> (a, b)) -> m b
atomicModifyMutVar' :: PrimMonad m => MutVar (PrimState m) a -> (a -> (a, b)) -> m b
modifyMutVar :: PrimMonad m => MutVar (PrimState m) a -> (a -> a) -> m ()
modifyMutVar' :: PrimMonad m => MutVar (PrimState m) a -> (a -> a) -> m ()
newMutVar :: PrimMonad m => a -> m (MutVar (PrimState m) a)
readMutVar :: PrimMonad m => MutVar (PrimState m) a -> m a
writeMutVar :: PrimMonad m => MutVar (PrimState m) a -> a -> m ()
hSay :: MonadIO m => Handle -> Text -> m ()
hSayShow :: (MonadIO m, Show a) => Handle -> a -> m ()
hSayString :: MonadIO m => Handle -> String -> m ()
sayErr :: MonadIO m => Text -> m ()
sayErrShow :: (MonadIO m, Show a) => a -> m ()
sayErrString :: MonadIO m => String -> m ()
sayShow :: (MonadIO m, Show a) => a -> m ()
sayString :: MonadIO m => String -> m ()
flushTBQueue :: TBQueue a -> STM [a]
isEmptyTBQueue :: TBQueue a -> STM Bool
isFullTBQueue :: TBQueue a -> STM Bool
lengthTBQueue :: TBQueue a -> STM Natural
newTBQueue :: Natural -> STM (TBQueue a)
peekTBQueue :: TBQueue a -> STM a
readTBQueue :: TBQueue a -> STM a
tryPeekTBQueue :: TBQueue a -> STM (Maybe a)
tryReadTBQueue :: TBQueue a -> STM (Maybe a)
unGetTBQueue :: TBQueue a -> a -> STM ()
writeTBQueue :: TBQueue a -> a -> STM ()
cloneTChan :: TChan a -> STM (TChan a)
dupTChan :: TChan a -> STM (TChan a)
isEmptyTChan :: TChan a -> STM Bool
newBroadcastTChan :: STM (TChan a)
newTChan :: STM (TChan a)
peekTChan :: TChan a -> STM a
readTChan :: TChan a -> STM a
tryPeekTChan :: TChan a -> STM (Maybe a)
tryReadTChan :: TChan a -> STM (Maybe a)
unGetTChan :: TChan a -> a -> STM ()
writeTChan :: TChan a -> a -> STM ()
isEmptyTMVar :: TMVar a -> STM Bool
newEmptyTMVar :: STM (TMVar a)
newTMVar :: a -> STM (TMVar a)
putTMVar :: TMVar a -> a -> STM ()
readTMVar :: TMVar a -> STM a
swapTMVar :: TMVar a -> a -> STM a
takeTMVar :: TMVar a -> STM a
tryPutTMVar :: TMVar a -> a -> STM Bool
tryReadTMVar :: TMVar a -> STM (Maybe a)
tryTakeTMVar :: TMVar a -> STM (Maybe a)
writeTMVar :: TMVar a -> a -> STM ()
isEmptyTQueue :: TQueue a -> STM Bool
newTQueue :: STM (TQueue a)
peekTQueue :: TQueue a -> STM a
readTQueue :: TQueue a -> STM a
tryPeekTQueue :: TQueue a -> STM (Maybe a)
tryReadTQueue :: TQueue a -> STM (Maybe a)
unGetTQueue :: TQueue a -> a -> STM ()
writeTQueue :: TQueue a -> a -> STM ()
modifyTVar :: TVar a -> (a -> a) -> STM ()
modifyTVar' :: TVar a -> (a -> a) -> STM ()
stateTVar :: TVar s -> (s -> (a, s)) -> STM a
swapTVar :: TVar a -> a -> STM a
estimateFreeSlotsTBChan :: TBChan a -> STM Int
freeSlotsTBChan :: TBChan a -> STM Int
isEmptyTBChan :: TBChan a -> STM Bool
isFullTBChan :: TBChan a -> STM Bool
newTBChan :: Int -> STM (TBChan a)
newTBChanIO :: Int -> IO (TBChan a)
peekTBChan :: TBChan a -> STM a
readTBChan :: TBChan a -> STM a
tryPeekTBChan :: TBChan a -> STM (Maybe a)
tryReadTBChan :: TBChan a -> STM (Maybe a)
tryWriteTBChan :: TBChan a -> a -> STM Bool
unGetTBChan :: TBChan a -> a -> STM ()
writeTBChan :: TBChan a -> a -> STM ()
closeTBMChan :: TBMChan a -> STM ()
estimateFreeSlotsTBMChan :: TBMChan a -> STM Int
freeSlotsTBMChan :: TBMChan a -> STM Int
isClosedTBMChan :: TBMChan a -> STM Bool
isEmptyTBMChan :: TBMChan a -> STM Bool
isFullTBMChan :: TBMChan a -> STM Bool
newTBMChan :: Int -> STM (TBMChan a)
newTBMChanIO :: Int -> IO (TBMChan a)
peekTBMChan :: TBMChan a -> STM (Maybe a)
readTBMChan :: TBMChan a -> STM (Maybe a)
tryPeekTBMChan :: TBMChan a -> STM (Maybe (Maybe a))
tryReadTBMChan :: TBMChan a -> STM (Maybe (Maybe a))
tryWriteTBMChan :: TBMChan a -> a -> STM (Maybe Bool)
unGetTBMChan :: TBMChan a -> a -> STM ()
writeTBMChan :: TBMChan a -> a -> STM ()
closeTBMQueue :: TBMQueue a -> STM ()
estimateFreeSlotsTBMQueue :: TBMQueue a -> STM Int
freeSlotsTBMQueue :: TBMQueue a -> STM Int
isClosedTBMQueue :: TBMQueue a -> STM Bool
isEmptyTBMQueue :: TBMQueue a -> STM Bool
isFullTBMQueue :: TBMQueue a -> STM Bool
newTBMQueue :: Int -> STM (TBMQueue a)
newTBMQueueIO :: Int -> IO (TBMQueue a)
peekTBMQueue :: TBMQueue a -> STM (Maybe a)
readTBMQueue :: TBMQueue a -> STM (Maybe a)
tryPeekTBMQueue :: TBMQueue a -> STM (Maybe (Maybe a))
tryReadTBMQueue :: TBMQueue a -> STM (Maybe (Maybe a))
tryWriteTBMQueue :: TBMQueue a -> a -> STM (Maybe Bool)
unGetTBMQueue :: TBMQueue a -> a -> STM ()
writeTBMQueue :: TBMQueue a -> a -> STM ()
closeTMChan :: TMChan a -> STM ()
dupTMChan :: TMChan a -> STM (TMChan a)
isClosedTMChan :: TMChan a -> STM Bool
isEmptyTMChan :: TMChan a -> STM Bool
newBroadcastTMChan :: STM (TMChan a)
newBroadcastTMChanIO :: IO (TMChan a)
newTMChan :: STM (TMChan a)
newTMChanIO :: IO (TMChan a)
peekTMChan :: TMChan a -> STM (Maybe a)
readTMChan :: TMChan a -> STM (Maybe a)
tryPeekTMChan :: TMChan a -> STM (Maybe (Maybe a))
tryReadTMChan :: TMChan a -> STM (Maybe (Maybe a))
unGetTMChan :: TMChan a -> a -> STM ()
writeTMChan :: TMChan a -> a -> STM ()
closeTMQueue :: TMQueue a -> STM ()
isClosedTMQueue :: TMQueue a -> STM Bool
isEmptyTMQueue :: TMQueue a -> STM Bool
newTMQueue :: STM (TMQueue a)
newTMQueueIO :: IO (TMQueue a)
peekTMQueue :: TMQueue a -> STM (Maybe a)
readTMQueue :: TMQueue a -> STM (Maybe a)
tryPeekTMQueue :: TMQueue a -> STM (Maybe (Maybe a))
tryReadTMQueue :: TMQueue a -> STM (Maybe (Maybe a))
unGetTMQueue :: TMQueue a -> a -> STM ()
writeTMQueue :: TMQueue a -> a -> STM ()
fromGregorian :: Year -> MonthOfYear -> DayOfMonth -> Day
formatTime :: FormatTime t => TimeLocale -> String -> t -> String
defaultTimeLocale :: TimeLocale
parseTimeM :: (MonadFail m, ParseTime t) => Bool -> TimeLocale -> String -> String -> m t
dupChan :: MonadIO m => Chan a -> m (Chan a)
getChanContents :: MonadIO m => Chan a -> m [a]
newChan :: MonadIO m => m (Chan a)
readChan :: MonadIO m => Chan a -> m a
writeChan :: MonadIO m => Chan a -> a -> m ()
writeList2Chan :: MonadIO m => Chan a -> [a] -> m ()
bracket :: MonadUnliftIO m => m a -> (a -> m b) -> (a -> m c) -> m c
bracketOnError :: MonadUnliftIO m => m a -> (a -> m b) -> (a -> m c) -> m c
bracketOnError_ :: MonadUnliftIO m => m a -> m b -> m c -> m c
bracket_ :: MonadUnliftIO m => m a -> m b -> m c -> m c
catchAny :: MonadUnliftIO m => m a -> (SomeException -> m a) -> m a
catchAnyDeep :: (NFData a, MonadUnliftIO m) => m a -> (SomeException -> m a) -> m a
catchDeep :: (MonadUnliftIO m, Exception e, NFData a) => m a -> (e -> m a) -> m a
catchIO :: MonadUnliftIO m => m a -> (IOException -> m a) -> m a
catchJust :: (MonadUnliftIO m, Exception e) => (e -> Maybe b) -> m a -> (b -> m a) -> m a
catchSyncOrAsync :: (MonadUnliftIO m, Exception e) => m a -> (e -> m a) -> m a
catches :: MonadUnliftIO m => m a -> [Handler m a] -> m a
catchesDeep :: (MonadUnliftIO m, NFData a) => m a -> [Handler m a] -> m a
evaluate :: MonadIO m => a -> m a
evaluateDeep :: (MonadIO m, NFData a) => a -> m a
fromEither :: (Exception e, MonadIO m) => Either e a -> m a
fromEitherIO :: (Exception e, MonadIO m) => IO (Either e a) -> m a
fromEitherM :: (Exception e, MonadIO m) => m (Either e a) -> m a
fromExceptionUnwrap :: Exception e => SomeException -> Maybe e
handle :: (MonadUnliftIO m, Exception e) => (e -> m a) -> m a -> m a
handleAny :: MonadUnliftIO m => (SomeException -> m a) -> m a -> m a
handleAnyDeep :: (MonadUnliftIO m, NFData a) => (SomeException -> m a) -> m a -> m a
handleDeep :: (MonadUnliftIO m, Exception e, NFData a) => (e -> m a) -> m a -> m a
handleIO :: MonadUnliftIO m => (IOException -> m a) -> m a -> m a
handleJust :: (MonadUnliftIO m, Exception e) => (e -> Maybe b) -> (b -> m a) -> m a -> m a
handleSyncOrAsync :: (MonadUnliftIO m, Exception e) => (e -> m a) -> m a -> m a
impureThrow :: Exception e => e -> a
isAsyncException :: Exception e => e -> Bool
isSyncException :: Exception e => e -> Bool
mapExceptionM :: (Exception e1, Exception e2, MonadUnliftIO m) => (e1 -> e2) -> m a -> m a
mask :: MonadUnliftIO m => ((forall a. m a -> m a) -> m b) -> m b
mask_ :: MonadUnliftIO m => m a -> m a
onException :: MonadUnliftIO m => m a -> m b -> m a
pureTry :: a -> Either SomeException a
pureTryDeep :: NFData a => a -> Either SomeException a
stringException :: HasCallStack => String -> StringException
throwString :: (MonadIO m, HasCallStack) => String -> m a
throwTo :: (Exception e, MonadIO m) => ThreadId -> e -> m ()
toAsyncException :: Exception e => e -> SomeException
toSyncException :: Exception e => e -> SomeException
tryAny :: MonadUnliftIO m => m a -> m (Either SomeException a)
tryAnyDeep :: (MonadUnliftIO m, NFData a) => m a -> m (Either SomeException a)
tryDeep :: (MonadUnliftIO m, Exception e, NFData a) => m a -> m (Either e a)
tryIO :: MonadUnliftIO m => m a -> m (Either IOException a)
tryJust :: (MonadUnliftIO m, Exception e) => (e -> Maybe b) -> m a -> m (Either b a)
trySyncOrAsync :: (MonadUnliftIO m, Exception e) => m a -> m (Either e a)
uninterruptibleMask :: MonadUnliftIO m => ((forall a. m a -> m a) -> m b) -> m b
uninterruptibleMask_ :: MonadUnliftIO m => m a -> m a
withException :: (MonadUnliftIO m, Exception e) => m a -> (e -> m b) -> m a
getMonotonicTime :: MonadIO m => m Double
hClose :: MonadIO m => Handle -> m ()
hFileSize :: MonadIO m => Handle -> m Integer
hFlush :: MonadIO m => Handle -> m ()
hGetBuffering :: MonadIO m => Handle -> m BufferMode
hGetEcho :: MonadIO m => Handle -> m Bool
hIsClosed :: MonadIO m => Handle -> m Bool
hIsEOF :: MonadIO m => Handle -> m Bool
hIsOpen :: MonadIO m => Handle -> m Bool
hIsReadable :: MonadIO m => Handle -> m Bool
hIsSeekable :: MonadIO m => Handle -> m Bool
hIsTerminalDevice :: MonadIO m => Handle -> m Bool
hIsWritable :: MonadIO m => Handle -> m Bool
hReady :: MonadIO m => Handle -> m Bool
hSeek :: MonadIO m => Handle -> SeekMode -> Integer -> m ()
hSetBuffering :: MonadIO m => Handle -> BufferMode -> m ()
hSetEcho :: MonadIO m => Handle -> Bool -> m ()
hSetFileSize :: MonadIO m => Handle -> Integer -> m ()
hTell :: MonadIO m => Handle -> m Integer
hWaitForInput :: MonadIO m => Handle -> Int -> m Bool
openFile :: MonadIO m => FilePath -> IOMode -> m Handle
withBinaryFile :: MonadUnliftIO m => FilePath -> IOMode -> (Handle -> m a) -> m a
withFile :: MonadUnliftIO m => FilePath -> IOMode -> (Handle -> m a) -> m a
atomicModifyIORef :: MonadIO m => IORef a -> (a -> (a, b)) -> m b
atomicModifyIORef' :: MonadIO m => IORef a -> (a -> (a, b)) -> m b
atomicWriteIORef :: MonadIO m => IORef a -> a -> m ()
mkWeakIORef :: MonadUnliftIO m => IORef a -> m () -> m (Weak (IORef a))
modifyIORef :: MonadIO m => IORef a -> (a -> a) -> m ()
modifyIORef' :: MonadIO m => IORef a -> (a -> a) -> m ()
newIORef :: MonadIO m => a -> m (IORef a)
readIORef :: MonadIO m => IORef a -> m a
writeIORef :: MonadIO m => IORef a -> a -> m ()
asyncBound :: MonadUnliftIO m => m a -> m (Async a)
asyncOn :: MonadUnliftIO m => Int -> m a -> m (Async a)
asyncOnWithUnmask :: MonadUnliftIO m => Int -> ((forall b. m b -> m b) -> m a) -> m (Async a)
asyncWithUnmask :: MonadUnliftIO m => ((forall b. m b -> m b) -> m a) -> m (Async a)
cancel :: MonadIO m => Async a -> m ()
cancelWith :: (Exception e, MonadIO m) => Async a -> e -> m ()
conc :: m a -> Conc m a
concurrently :: MonadUnliftIO m => m a -> m b -> m (a, b)
concurrently_ :: MonadUnliftIO m => m a -> m b -> m ()
forConcurrently :: (MonadUnliftIO m, Traversable t) => t a -> (a -> m b) -> m (t b)
forConcurrently_ :: (MonadUnliftIO m, Foldable f) => f a -> (a -> m b) -> m ()
link :: MonadIO m => Async a -> m ()
link2 :: MonadIO m => Async a -> Async b -> m ()
mapConcurrently :: (MonadUnliftIO m, Traversable t) => (a -> m b) -> t a -> m (t b)
mapConcurrently_ :: (MonadUnliftIO m, Foldable f) => (a -> m b) -> f a -> m ()
poll :: MonadIO m => Async a -> m (Maybe (Either SomeException a))
pooledForConcurrently :: (MonadUnliftIO m, Traversable t) => t a -> (a -> m b) -> m (t b)
pooledForConcurrentlyN :: (MonadUnliftIO m, Traversable t) => Int -> t a -> (a -> m b) -> m (t b)
pooledForConcurrentlyN_ :: (MonadUnliftIO m, Foldable t) => Int -> t a -> (a -> m b) -> m ()
pooledForConcurrently_ :: (MonadUnliftIO m, Foldable f) => f a -> (a -> m b) -> m ()
pooledMapConcurrently :: (MonadUnliftIO m, Traversable t) => (a -> m b) -> t a -> m (t b)
pooledMapConcurrentlyN :: (MonadUnliftIO m, Traversable t) => Int -> (a -> m b) -> t a -> m (t b)
pooledMapConcurrentlyN_ :: (MonadUnliftIO m, Foldable f) => Int -> (a -> m b) -> f a -> m ()
pooledMapConcurrently_ :: (MonadUnliftIO m, Foldable f) => (a -> m b) -> f a -> m ()
pooledReplicateConcurrently :: MonadUnliftIO m => Int -> m a -> m [a]
pooledReplicateConcurrentlyN :: MonadUnliftIO m => Int -> Int -> m a -> m [a]
pooledReplicateConcurrentlyN_ :: MonadUnliftIO m => Int -> Int -> m a -> m ()
pooledReplicateConcurrently_ :: MonadUnliftIO m => Int -> m a -> m ()
race :: MonadUnliftIO m => m a -> m b -> m (Either a b)
race_ :: MonadUnliftIO m => m a -> m b -> m ()
replicateConcurrently :: MonadUnliftIO f => Int -> f a -> f [a]
replicateConcurrently_ :: (Applicative m, MonadUnliftIO m) => Int -> m a -> m ()
runConc :: MonadUnliftIO m => Conc m a -> m a
uninterruptibleCancel :: MonadIO m => Async a -> m ()
wait :: MonadIO m => Async a -> m a
waitAny :: MonadIO m => [Async a] -> m (Async a, a)
waitAnyCancel :: MonadIO m => [Async a] -> m (Async a, a)
waitAnyCatch :: MonadIO m => [Async a] -> m (Async a, Either SomeException a)
waitAnyCatchCancel :: MonadIO m => [Async a] -> m (Async a, Either SomeException a)
waitBoth :: MonadIO m => Async a -> Async b -> m (a, b)
waitCatch :: MonadIO m => Async a -> m (Either SomeException a)
waitEither :: MonadIO m => Async a -> Async b -> m (Either a b)
waitEitherCancel :: MonadIO m => Async a -> Async b -> m (Either a b)
waitEitherCatch :: MonadIO m => Async a -> Async b -> m (Either (Either SomeException a) (Either SomeException b))
waitEitherCatchCancel :: MonadIO m => Async a -> Async b -> m (Either (Either SomeException a) (Either SomeException b))
waitEither_ :: MonadIO m => Async a -> Async b -> m ()
withAsync :: MonadUnliftIO m => m a -> (Async a -> m b) -> m b
withAsyncBound :: MonadUnliftIO m => m a -> (Async a -> m b) -> m b
withAsyncOn :: MonadUnliftIO m => Int -> m a -> (Async a -> m b) -> m b
withAsyncOnWithUnmask :: MonadUnliftIO m => Int -> ((forall c. m c -> m c) -> m a) -> (Async a -> m b) -> m b
withAsyncWithUnmask :: MonadUnliftIO m => ((forall c. m c -> m c) -> m a) -> (Async a -> m b) -> m b
isEmptyMVar :: MonadIO m => MVar a -> m Bool
mkWeakMVar :: MonadUnliftIO m => MVar a -> m () -> m (Weak (MVar a))
modifyMVar :: MonadUnliftIO m => MVar a -> (a -> m (a, b)) -> m b
modifyMVarMasked :: MonadUnliftIO m => MVar a -> (a -> m (a, b)) -> m b
modifyMVarMasked_ :: MonadUnliftIO m => MVar a -> (a -> m a) -> m ()
modifyMVar_ :: MonadUnliftIO m => MVar a -> (a -> m a) -> m ()
newEmptyMVar :: MonadIO m => m (MVar a)
newMVar :: MonadIO m => a -> m (MVar a)
putMVar :: MonadIO m => MVar a -> a -> m ()
readMVar :: MonadIO m => MVar a -> m a
swapMVar :: MonadIO m => MVar a -> a -> m a
takeMVar :: MonadIO m => MVar a -> m a
tryPutMVar :: MonadIO m => MVar a -> a -> m Bool
tryReadMVar :: MonadIO m => MVar a -> m (Maybe a)
tryTakeMVar :: MonadIO m => MVar a -> m (Maybe a)
withMVar :: MonadUnliftIO m => MVar a -> (a -> m b) -> m b
withMVarMasked :: MonadUnliftIO m => MVar a -> (a -> m b) -> m b
memoizeMVar :: MonadUnliftIO m => m a -> m (Memoized a)
memoizeRef :: MonadUnliftIO m => m a -> m (Memoized a)
runMemoized :: MonadIO m => Memoized a -> m a
newQSem :: MonadIO m => Int -> m QSem
signalQSem :: MonadIO m => QSem -> m ()
waitQSem :: MonadIO m => QSem -> m ()
withQSem :: MonadUnliftIO m => QSem -> m a -> m a
newQSemN :: MonadIO m => Int -> m QSemN
signalQSemN :: MonadIO m => QSemN -> Int -> m ()
waitQSemN :: MonadIO m => QSemN -> Int -> m ()
withQSemN :: MonadUnliftIO m => QSemN -> Int -> m a -> m a
atomically :: MonadIO m => STM a -> m a
checkSTM :: Bool -> STM ()
mkWeakTMVar :: MonadUnliftIO m => TMVar a -> m () -> m (Weak (TMVar a))
mkWeakTVar :: MonadUnliftIO m => TVar a -> m () -> m (Weak (TVar a))
newBroadcastTChanIO :: MonadIO m => m (TChan a)
newEmptyTMVarIO :: MonadIO m => m (TMVar a)
newTBQueueIO :: MonadIO m => Natural -> m (TBQueue a)
newTChanIO :: MonadIO m => m (TChan a)
newTMVarIO :: MonadIO m => a -> m (TMVar a)
newTQueueIO :: MonadIO m => m (TQueue a)
newTVarIO :: MonadIO m => a -> m (TVar a)
readTVarIO :: MonadIO m => TVar a -> m a
registerDelay :: MonadIO m => Int -> m (TVar Bool)
retrySTM :: STM a
withSystemTempDirectory :: MonadUnliftIO m => String -> (FilePath -> m a) -> m a
withSystemTempFile :: MonadUnliftIO m => String -> (FilePath -> Handle -> m a) -> m a
withTempDirectory :: MonadUnliftIO m => FilePath -> String -> (FilePath -> m a) -> m a
withTempFile :: MonadUnliftIO m => FilePath -> String -> (FilePath -> Handle -> m a) -> m a
timeout :: MonadUnliftIO m => Int -> m a -> m (Maybe a)
askRunInIO :: MonadUnliftIO m => m (m a -> IO a)
askUnliftIO :: MonadUnliftIO m => m (UnliftIO m)
liftIOOp :: MonadUnliftIO m => (IO a -> IO b) -> m a -> m b
toIO :: MonadUnliftIO m => m a -> m (IO a)
withUnliftIO :: MonadUnliftIO m => (UnliftIO m -> IO a) -> m a
wrappedWithRunInIO :: MonadUnliftIO n => (n b -> m b) -> (forall a. m a -> n a) -> ((forall a. m a -> IO a) -> IO b) -> m b
(&&&) :: Arrow a => a b c -> a b c' -> a b (c, c')
(***) :: Arrow a => a b c -> a b' c' -> a (b, b') (c, c')
zipWith :: Zip f => (a -> b -> c) -> f a -> f b -> f c
unzip :: Zip f => f (a, b) -> (f a, f b)
zip :: Zip f => f a -> f b -> f (a, b)
zipWith3 :: Zip3 f => (a -> b -> c -> d) -> f a -> f b -> f c -> f d
unzip3 :: Zip3 f => f (a, b, c) -> (f a, f b, f c)
zip3 :: Zip3 f => f a -> f b -> f c -> f (a, b, c)
zipWith4 :: Zip4 f => (a -> b -> c -> d -> e) -> f a -> f b -> f c -> f d -> f e
unzip4 :: Zip4 f => f (a, b, c, d) -> (f a, f b, f c, f d)
zip4 :: Zip4 f => f a -> f b -> f c -> f d -> f (a, b, c, d)
zipWith5 :: Zip5 f => (a -> b -> c -> d -> e -> g) -> f a -> f b -> f c -> f d -> f e -> f g
unzip5 :: Zip5 f => f (a, b, c, d, e) -> (f a, f b, f c, f d, f e)
zip5 :: Zip5 f => f a -> f b -> f c -> f d -> f e -> f (a, b, c, d, e)
zipWith6 :: Zip6 f => (a -> b -> c -> d -> e -> g -> h) -> f a -> f b -> f c -> f d -> f e -> f g -> f h
unzip6 :: Zip6 f => f (a, b, c, d, e, g) -> (f a, f b, f c, f d, f e, f g)
zip6 :: Zip6 f => f a -> f b -> f c -> f d -> f e -> f g -> f (a, b, c, d, e, g)
zipWith7 :: Zip7 f => (a -> b -> c -> d -> e -> g -> h -> i) -> f a -> f b -> f c -> f d -> f e -> f g -> f h -> f i
unzip7 :: Zip7 f => f (a, b, c, d, e, g, h) -> (f a, f b, f c, f d, f e, f g, f h)
zip7 :: Zip7 f => f a -> f b -> f c -> f d -> f e -> f g -> f h -> f (a, b, c, d, e, g, h)
lift :: (MonadTrans t, Monad m) => m a -> t m a
guard :: Alternative f => Bool -> f ()
assert :: Bool -> a -> a
otherwise :: Bool
realToFrac :: (Real a, Fractional b) => a -> b
fromIntegral :: (Integral a, Num b) => a -> b
seq :: forall {r :: RuntimeRep} a (b :: TYPE r). a -> b -> b
cs :: ConvertibleStrings a b => a -> b
newtype Id' table = Id (PrimaryKey table)
type Id model = Id' (GetTableName model)
data StdMethod
- = GET
- | POST
- | HEAD
- | PUT
- | DELETE
- | TRACE
- | CONNECT
- | OPTIONS
- | PATCH

Documentation

module IHP.RouterSupport

newtype UnliftIO (m :: Type -> Type) #

Constructors

UnliftIO
Fields unliftIO :: forall a. m a -> IO a

data UTCTime #

Constructors

UTCTime
Fields utctDay :: Day utctDayTime :: DiffTime

Instances

Instances details

FromJSON UTCTime
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser UTCTime # parseJSONList :: Value -> Parser [UTCTime] #
FromJSONKey UTCTime
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey :: FromJSONKeyFunction UTCTime # fromJSONKeyList :: FromJSONKeyFunction [UTCTime] #
ToJSON UTCTime
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: UTCTime -> Value # toEncoding :: UTCTime -> Encoding # toJSONList :: [UTCTime] -> Value # toEncodingList :: [UTCTime] -> Encoding #
ToJSONKey UTCTime
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey :: ToJSONKeyFunction UTCTime # toJSONKeyList :: ToJSONKeyFunction [UTCTime] #
Data UTCTime
Instance details Defined in Data.Time.Clock.Internal.UTCTime Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UTCTime -> c UTCTime # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UTCTime # toConstr :: UTCTime -> Constr # dataTypeOf :: UTCTime -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UTCTime) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UTCTime) # gmapT :: (forall b. Data b => b -> b) -> UTCTime -> UTCTime # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UTCTime -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UTCTime -> r # gmapQ :: (forall d. Data d => d -> u) -> UTCTime -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UTCTime -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UTCTime -> m UTCTime # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UTCTime -> m UTCTime # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UTCTime -> m UTCTime #
Default UTCTime Source #
Instance details Defined in IHP.ModelSupport Methods def :: UTCTime #
NFData UTCTime
Instance details Defined in Data.Time.Clock.Internal.UTCTime Methods rnf :: UTCTime -> () #
Eq UTCTime
Instance details Defined in Data.Time.Clock.Internal.UTCTime Methods (==) :: UTCTime -> UTCTime -> Bool # (/=) :: UTCTime -> UTCTime -> Bool #
Ord UTCTime
Instance details Defined in Data.Time.Clock.Internal.UTCTime Methods compare :: UTCTime -> UTCTime -> Ordering # (<) :: UTCTime -> UTCTime -> Bool # (<=) :: UTCTime -> UTCTime -> Bool # (>) :: UTCTime -> UTCTime -> Bool # (>=) :: UTCTime -> UTCTime -> Bool # max :: UTCTime -> UTCTime -> UTCTime # min :: UTCTime -> UTCTime -> UTCTime #
ParamReader UTCTime Source #	Accepts values such as `2020-11-08T12:03:35Z` or `2020-11-08`
Instance details Defined in IHP.Controller.Param Methods readParameter :: ByteString -> Either ByteString UTCTime Source # readParameterJSON :: Value -> Either ByteString UTCTime Source #
InputValue UTCTime Source #
Instance details Defined in IHP.ModelSupport Methods inputValue :: UTCTime -> Text Source #
FromField UTCTimestamp
Instance details Defined in Database.PostgreSQL.Simple.FromField Methods fromField :: FieldParser UTCTimestamp
FromField UTCTime
Instance details Defined in Database.PostgreSQL.Simple.FromField Methods fromField :: FieldParser UTCTime
ToField UTCTimestamp
Instance details Defined in Database.PostgreSQL.Simple.ToField Methods toField :: UTCTimestamp -> Action
ToField UTCTime
Instance details Defined in Database.PostgreSQL.Simple.ToField Methods toField :: UTCTime -> Action
ISO8601 UTCTime
Instance details Defined in Data.Time.Format.ISO8601 Methods iso8601Format :: Format UTCTime

data Set a #

Instances

Instances details

ToJSON1 Set
Instance details Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a -> Value) -> ([a] -> Value) -> Set a -> Value # liftToJSONList :: (a -> Value) -> ([a] -> Value) -> [Set a] -> Value # liftToEncoding :: (a -> Encoding) -> ([a] -> Encoding) -> Set a -> Encoding # liftToEncodingList :: (a -> Encoding) -> ([a] -> Encoding) -> [Set a] -> Encoding #
Foldable Set
Instance details Defined in Data.Set.Internal Methods fold :: Monoid m => Set m -> m foldMap :: Monoid m => (a -> m) -> Set a -> m foldMap' :: Monoid m => (a -> m) -> Set a -> m foldr :: (a -> b -> b) -> b -> Set a -> b # foldr' :: (a -> b -> b) -> b -> Set a -> b foldl :: (b -> a -> b) -> b -> Set a -> b # foldl' :: (b -> a -> b) -> b -> Set a -> b # foldr1 :: (a -> a -> a) -> Set a -> a # foldl1 :: (a -> a -> a) -> Set a -> a # toList :: Set a -> [a] null :: Set a -> Bool length :: Set a -> Int # elem :: Eq a => a -> Set a -> Bool # maximum :: Ord a => Set a -> a # minimum :: Ord a => Set a -> a # sum :: Num a => Set a -> a # product :: Num a => Set a -> a #
Eq1 Set
Instance details Defined in Data.Set.Internal Methods liftEq :: (a -> b -> Bool) -> Set a -> Set b -> Bool
Ord1 Set
Instance details Defined in Data.Set.Internal Methods liftCompare :: (a -> b -> Ordering) -> Set a -> Set b -> Ordering
Show1 Set
Instance details Defined in Data.Set.Internal Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Set a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Set a] -> ShowS
Hashable1 Set
Instance details Defined in Data.Hashable.Class Methods liftHashWithSalt :: (Int -> a -> Int) -> Int -> Set a -> Int
Lift a => Lift (Set a :: Type)
Instance details Defined in Data.Set.Internal Methods lift :: Quote m => Set a -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => Set a -> Code m (Set a)
(Ord a, FromJSON a) => FromJSON (Set a)
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Set a) # parseJSONList :: Value -> Parser [Set a] #
ToJSON a => ToJSON (Set a)
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Set a -> Value # toEncoding :: Set a -> Encoding # toJSONList :: [Set a] -> Value # toEncodingList :: [Set a] -> Encoding #
(Data a, Ord a) => Data (Set a)
Instance details Defined in Data.Set.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Set a -> c (Set a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Set a) # toConstr :: Set a -> Constr # dataTypeOf :: Set a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Set a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Set a)) # gmapT :: (forall b. Data b => b -> b) -> Set a -> Set a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Set a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Set a -> r # gmapQ :: (forall d. Data d => d -> u) -> Set a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Set a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Set a -> m (Set a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Set a -> m (Set a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Set a -> m (Set a) #
Ord a => Monoid (Set a)
Instance details Defined in Data.Set.Internal Methods mempty :: Set a # mappend :: Set a -> Set a -> Set a # mconcat :: [Set a] -> Set a #
Ord a => Semigroup (Set a)
Instance details Defined in Data.Set.Internal Methods (<>) :: Set a -> Set a -> Set a # sconcat :: NonEmpty (Set a) -> Set a # stimes :: Integral b => b -> Set a -> Set a #
Ord a => IsList (Set a)
Instance details Defined in Data.Set.Internal Associated Types type Item (Set a) Methods fromList :: [Item (Set a)] -> Set a fromListN :: Int -> [Item (Set a)] -> Set a toList :: Set a -> [Item (Set a)]
(Read a, Ord a) => Read (Set a)
Instance details Defined in Data.Set.Internal Methods readsPrec :: Int -> ReadS (Set a) readList :: ReadS [Set a] readPrec :: ReadPrec (Set a) readListPrec :: ReadPrec [Set a]
Show a => Show (Set a)
Instance details Defined in Data.Set.Internal Methods showsPrec :: Int -> Set a -> ShowS # show :: Set a -> String showList :: [Set a] -> ShowS #
(Ord a, Serialize a) => Serialize (Set a)
Instance details Defined in Data.Serialize Methods put :: Putter (Set a) get :: Get (Set a)
NFData a => NFData (Set a)
Instance details Defined in Data.Set.Internal Methods rnf :: Set a -> () #
Eq a => Eq (Set a)
Instance details Defined in Data.Set.Internal Methods (==) :: Set a -> Set a -> Bool # (/=) :: Set a -> Set a -> Bool #
Ord a => Ord (Set a)
Instance details Defined in Data.Set.Internal Methods compare :: Set a -> Set a -> Ordering # (<) :: Set a -> Set a -> Bool # (<=) :: Set a -> Set a -> Bool # (>) :: Set a -> Set a -> Bool # (>=) :: Set a -> Set a -> Bool # max :: Set a -> Set a -> Set a # min :: Set a -> Set a -> Set a #
Hashable v => Hashable (Set v)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Set v -> Int # hash :: Set v -> Int #
Ord k => At (Set k)
Instance details Defined in Control.Lens.At Methods at :: Index (Set k) -> Lens' (Set k) (Maybe (IxValue (Set k)))
Ord a => Contains (Set a)
Instance details Defined in Control.Lens.At Methods contains :: Index (Set a) -> Lens' (Set a) Bool
Ord k => Ixed (Set k)
Instance details Defined in Control.Lens.At Methods ix :: Index (Set k) -> Traversal' (Set k) (IxValue (Set k))
AsEmpty (Set a)
Instance details Defined in Control.Lens.Empty Methods _Empty :: Prism' (Set a) ()
Ord a => Wrapped (Set a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Set a) Methods _Wrapped' :: Iso' (Set a) (Unwrapped (Set a))
Ord element => IsSet (Set element)
Instance details Defined in Data.Containers Methods insertSet :: Element (Set element) -> Set element -> Set element # deleteSet :: Element (Set element) -> Set element -> Set element # singletonSet :: Element (Set element) -> Set element # setFromList :: [Element (Set element)] -> Set element # setToList :: Set element -> [Element (Set element)] # filterSet :: (Element (Set element) -> Bool) -> Set element -> Set element #
Ord element => SetContainer (Set element)
Instance details Defined in Data.Containers Associated Types type ContainerKey (Set element) # Methods member :: ContainerKey (Set element) -> Set element -> Bool # notMember :: ContainerKey (Set element) -> Set element -> Bool # union :: Set element -> Set element -> Set element # unions :: (MonoFoldable mono, Element mono ~ Set element) => mono -> Set element # difference :: Set element -> Set element -> Set element # intersection :: Set element -> Set element -> Set element # keys :: Set element -> [ContainerKey (Set element)] #
Ord v => GrowingAppend (Set v)
Instance details Defined in Data.MonoTraversable
Ord e => MonoFoldable (Set e)
Instance details Defined in Data.MonoTraversable Methods ofoldMap :: Monoid m => (Element (Set e) -> m) -> Set e -> m # ofoldr :: (Element (Set e) -> b -> b) -> b -> Set e -> b # ofoldl' :: (a -> Element (Set e) -> a) -> a -> Set e -> a # otoList :: Set e -> [Element (Set e)] # oall :: (Element (Set e) -> Bool) -> Set e -> Bool # oany :: (Element (Set e) -> Bool) -> Set e -> Bool # onull :: Set e -> Bool # olength :: Set e -> Int # olength64 :: Set e -> Int64 # ocompareLength :: Integral i => Set e -> i -> Ordering # otraverse_ :: Applicative f => (Element (Set e) -> f b) -> Set e -> f () # ofor_ :: Applicative f => Set e -> (Element (Set e) -> f b) -> f () # omapM_ :: Applicative m => (Element (Set e) -> m ()) -> Set e -> m () # oforM_ :: Applicative m => Set e -> (Element (Set e) -> m ()) -> m () # ofoldlM :: Monad m => (a -> Element (Set e) -> m a) -> a -> Set e -> m a # ofoldMap1Ex :: Semigroup m => (Element (Set e) -> m) -> Set e -> m # ofoldr1Ex :: (Element (Set e) -> Element (Set e) -> Element (Set e)) -> Set e -> Element (Set e) # ofoldl1Ex' :: (Element (Set e) -> Element (Set e) -> Element (Set e)) -> Set e -> Element (Set e) # headEx :: Set e -> Element (Set e) # lastEx :: Set e -> Element (Set e) # unsafeHead :: Set e -> Element (Set e) # unsafeLast :: Set e -> Element (Set e) # maximumByEx :: (Element (Set e) -> Element (Set e) -> Ordering) -> Set e -> Element (Set e) # minimumByEx :: (Element (Set e) -> Element (Set e) -> Ordering) -> Set e -> Element (Set e) # oelem :: Element (Set e) -> Set e -> Bool # onotElem :: Element (Set e) -> Set e -> Bool #
MonoPointed (Set a)
Instance details Defined in Data.MonoTraversable Methods opoint :: Element (Set a) -> Set a #
One (Set a)
Instance details Defined in Relude.Container.One Associated Types type OneItem (Set a) Methods one :: OneItem (Set a) -> Set a
(t ~ Set a', Ord a) => Rewrapped (Set a) t
Instance details Defined in Control.Lens.Wrapped
type Item (Set a)
Instance details Defined in Data.Set.Internal type Item (Set a) = a
type Index (Set a)
Instance details Defined in Control.Lens.At type Index (Set a) = a
type IxValue (Set k)
Instance details Defined in Control.Lens.At type IxValue (Set k) = ()
type Unwrapped (Set a)
Instance details Defined in Control.Lens.Wrapped type Unwrapped (Set a) = [a]
type ContainerKey (Set element)
Instance details Defined in Data.Containers type ContainerKey (Set element) = element
type Element (Set e)
Instance details Defined in Data.MonoTraversable type Element (Set e) = e
type OneItem (Set a)
Instance details Defined in Relude.Container.One type OneItem (Set a) = a

data Text #

Instances

Instances details

FromJSON Text
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Text # parseJSONList :: Value -> Parser [Text] #
FromJSONKey Text
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey :: FromJSONKeyFunction Text # fromJSONKeyList :: FromJSONKeyFunction [Text] #
ToJSON Text
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Text -> Value # toEncoding :: Text -> Encoding # toJSONList :: [Text] -> Value # toEncodingList :: [Text] -> Encoding #
ToJSONKey Text
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey :: ToJSONKeyFunction Text # toJSONKeyList :: ToJSONKeyFunction [Text] #
Chunk Text
Instance details Defined in Data.Attoparsec.Internal.Types Associated Types type ChunkElem Text Methods nullChunk :: Text -> Bool pappendChunk :: State Text -> Text -> State Text atBufferEnd :: Text -> State Text -> Pos bufferElemAt :: Text -> Pos -> State Text -> Maybe (ChunkElem Text, Int) chunkElemToChar :: Text -> ChunkElem Text -> Char
ToMarkup Text
Instance details Defined in Text.Blaze Methods toMarkup :: Text -> Markup preEscapedToMarkup :: Text -> Markup
ToValue Text
Instance details Defined in Text.Blaze Methods toValue :: Text -> AttributeValue preEscapedToValue :: Text -> AttributeValue
FoldCase Text
Instance details Defined in Data.CaseInsensitive.Internal Methods foldCase :: Text -> Text foldCaseList :: [Text] -> [Text]
Default Text Source #
Instance details Defined in IHP.ModelSupport Methods def :: Text #
ToLogStr Text
Instance details Defined in System.Log.FastLogger.LogStr Methods toLogStr :: Text -> LogStr #
Hashable Text
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Text -> Int # hash :: Text -> Int #
ToHtml Text
Instance details Defined in IHP.HSX.ToHtml Methods toHtml :: Text -> Html #
Ixed Text
Instance details Defined in Control.Lens.At Methods ix :: Index Text -> Traversal' Text (IxValue Text)
AsEmpty Text
Instance details Defined in Control.Lens.Empty Methods _Empty :: Prism' Text ()
Reversing Text
Instance details Defined in Control.Lens.Internal.Iso Methods reversing :: Text -> Text
Prefixed Text
Instance details Defined in Control.Lens.Prism Methods prefixed :: Text -> Prism' Text Text
Suffixed Text
Instance details Defined in Control.Lens.Prism Methods suffixed :: Text -> Prism' Text Text
VerifiyPassword Text Source #
Instance details Defined in IHP.AuthSupport.Authentication Methods verifyPassword' :: Text -> Text -> Bool Source #
ParamReader Text Source #
Instance details Defined in IHP.Controller.Param Methods readParameter :: ByteString -> Either ByteString Text Source # readParameterJSON :: Value -> Either ByteString Text Source #
EnvVarReader Text Source #
Instance details Defined in IHP.EnvVar Methods envStringToValue :: ByteString -> Either Text Text Source #
IsEmpty Text Source #
Instance details Defined in IHP.HaskellSupport Methods isEmpty :: Text -> Bool Source #
InputValue Text Source #
Instance details Defined in IHP.ModelSupport Methods inputValue :: Text -> Text Source #
ParsePrimaryKey Text Source #
Instance details Defined in IHP.ModelSupport Methods parsePrimaryKey :: Text -> Maybe Text Source #
Stream Text
Instance details Defined in Text.Megaparsec.Stream Associated Types type Token Text type Tokens Text Methods tokenToChunk :: Proxy Text -> Token Text -> Tokens Text tokensToChunk :: Proxy Text -> [Token Text] -> Tokens Text chunkToTokens :: Proxy Text -> Tokens Text -> [Token Text] chunkLength :: Proxy Text -> Tokens Text -> Int chunkEmpty :: Proxy Text -> Tokens Text -> Bool take1_ :: Text -> Maybe (Token Text, Text) takeN_ :: Int -> Text -> Maybe (Tokens Text, Text) takeWhile_ :: (Token Text -> Bool) -> Text -> (Tokens Text, Text)
TraversableStream Text
Instance details Defined in Text.Megaparsec.Stream Methods reachOffset :: Int -> PosState Text -> (Maybe String, PosState Text) reachOffsetNoLine :: Int -> PosState Text -> PosState Text
VisualStream Text
Instance details Defined in Text.Megaparsec.Stream Methods showTokens :: Proxy Text -> NonEmpty (Token Text) -> String tokensLength :: Proxy Text -> NonEmpty (Token Text) -> Int
MonoZip Text
Instance details Defined in Data.Containers Methods ozipWith :: (Element Text -> Element Text -> Element Text) -> Text -> Text -> Text # ozip :: Text -> Text -> [(Element Text, Element Text)] # ounzip :: [(Element Text, Element Text)] -> (Text, Text) #
GrowingAppend Text
Instance details Defined in Data.MonoTraversable
MonoFoldable Text
Instance details Defined in Data.MonoTraversable Methods ofoldMap :: Monoid m => (Element Text -> m) -> Text -> m # ofoldr :: (Element Text -> b -> b) -> b -> Text -> b # ofoldl' :: (a -> Element Text -> a) -> a -> Text -> a # otoList :: Text -> [Element Text] # oall :: (Element Text -> Bool) -> Text -> Bool # oany :: (Element Text -> Bool) -> Text -> Bool # onull :: Text -> Bool # olength :: Text -> Int # olength64 :: Text -> Int64 # ocompareLength :: Integral i => Text -> i -> Ordering # otraverse_ :: Applicative f => (Element Text -> f b) -> Text -> f () # ofor_ :: Applicative f => Text -> (Element Text -> f b) -> f () # omapM_ :: Applicative m => (Element Text -> m ()) -> Text -> m () # oforM_ :: Applicative m => Text -> (Element Text -> m ()) -> m () # ofoldlM :: Monad m => (a -> Element Text -> m a) -> a -> Text -> m a # ofoldMap1Ex :: Semigroup m => (Element Text -> m) -> Text -> m # ofoldr1Ex :: (Element Text -> Element Text -> Element Text) -> Text -> Element Text # ofoldl1Ex' :: (Element Text -> Element Text -> Element Text) -> Text -> Element Text # headEx :: Text -> Element Text # lastEx :: Text -> Element Text # unsafeHead :: Text -> Element Text # unsafeLast :: Text -> Element Text # maximumByEx :: (Element Text -> Element Text -> Ordering) -> Text -> Element Text # minimumByEx :: (Element Text -> Element Text -> Ordering) -> Text -> Element Text # oelem :: Element Text -> Text -> Bool # onotElem :: Element Text -> Text -> Bool #
MonoFunctor Text
Instance details Defined in Data.MonoTraversable Methods omap :: (Element Text -> Element Text) -> Text -> Text #
MonoPointed Text
Instance details Defined in Data.MonoTraversable Methods opoint :: Element Text -> Text #
MonoTraversable Text
Instance details Defined in Data.MonoTraversable Methods otraverse :: Applicative f => (Element Text -> f (Element Text)) -> Text -> f Text # omapM :: Applicative m => (Element Text -> m (Element Text)) -> Text -> m Text #
IsSequence Text
Instance details Defined in Data.Sequences Methods fromList :: [Element Text] -> Text # lengthIndex :: Text -> Index Text # break :: (Element Text -> Bool) -> Text -> (Text, Text) # span :: (Element Text -> Bool) -> Text -> (Text, Text) # dropWhile :: (Element Text -> Bool) -> Text -> Text # takeWhile :: (Element Text -> Bool) -> Text -> Text splitAt :: Index Text -> Text -> (Text, Text) # unsafeSplitAt :: Index Text -> Text -> (Text, Text) # take :: Index Text -> Text -> Text unsafeTake :: Index Text -> Text -> Text # drop :: Index Text -> Text -> Text # unsafeDrop :: Index Text -> Text -> Text # dropEnd :: Index Text -> Text -> Text # partition :: (Element Text -> Bool) -> Text -> (Text, Text) # uncons :: Text -> Maybe (Element Text, Text) # unsnoc :: Text -> Maybe (Text, Element Text) # filter :: (Element Text -> Bool) -> Text -> Text # filterM :: Monad m => (Element Text -> m Bool) -> Text -> m Text # replicate :: Index Text -> Element Text -> Text # replicateM :: Monad m => Index Text -> m (Element Text) -> m Text # groupBy :: (Element Text -> Element Text -> Bool) -> Text -> [Text] # groupAllOn :: Eq b => (Element Text -> b) -> Text -> [Text] # subsequences :: Text -> [Text] # permutations :: Text -> [Text] # tailEx :: Text -> Text # tailMay :: Text -> Maybe Text # initEx :: Text -> Text # initMay :: Text -> Maybe Text # unsafeTail :: Text -> Text # unsafeInit :: Text -> Text # index :: Text -> Index Text -> Maybe (Element Text) indexEx :: Text -> Index Text -> Element Text # unsafeIndex :: Text -> Index Text -> Element Text # splitWhen :: (Element Text -> Bool) -> Text -> [Text] #
SemiSequence Text
Instance details Defined in Data.Sequences Associated Types type Index Text # Methods intersperse :: Element Text -> Text -> Text # reverse :: Text -> Text # find :: (Element Text -> Bool) -> Text -> Maybe (Element Text) # sortBy :: (Element Text -> Element Text -> Ordering) -> Text -> Text # cons :: Element Text -> Text -> Text # snoc :: Text -> Element Text -> Text #
Textual Text
Instance details Defined in Data.Sequences Methods words :: Text -> [Text] # unwords :: (Element seq ~ Text, MonoFoldable seq) => seq -> Text # lines :: Text -> [Text] # unlines :: (Element seq ~ Text, MonoFoldable seq) => seq -> Text # toLower :: Text -> Text # toUpper :: Text -> Text # toCaseFold :: Text -> Text # breakWord :: Text -> (Text, Text) # breakLine :: Text -> (Text, Text) #
FromField Text
Instance details Defined in Database.PostgreSQL.Simple.FromField Methods fromField :: FieldParser Text
ToField Text
Instance details Defined in Database.PostgreSQL.Simple.ToField Methods toField :: Text -> Action
Extract Text
Instance details Defined in Text.Regex.Base.RegexLike Methods before :: Int -> Text -> Text after :: Int -> Text -> Text empty :: Text extract :: (Int, Int) -> Text -> Text
One Text
Instance details Defined in Relude.Container.One Associated Types type OneItem Text Methods one :: OneItem Text -> Text
WebSocketsData Text
Instance details Defined in Network.WebSockets.Types Methods fromDataMessage :: DataMessage -> Text fromLazyByteString :: ByteString -> Text toLazyByteString :: Text -> ByteString
ToBuilder Text Builder
Instance details Defined in Data.Builder Methods toBuilder :: Text -> Builder #
ToBuilder Text Builder
Instance details Defined in Data.Builder Methods toBuilder :: Text -> Builder #
LazySequence Text Text
Instance details Defined in Data.Sequences Methods toChunks :: Text -> [Text0] # fromChunks :: [Text0] -> Text # toStrict :: Text -> Text0 # fromStrict :: Text0 -> Text #
Utf8 Text ByteString
Instance details Defined in Data.Sequences Methods encodeUtf8 :: Text -> ByteString # decodeUtf8 :: ByteString -> Text #
ConvertibleStrings LazyByteString StrictText
Instance details Defined in Data.String.Conversions Methods convertString :: LazyByteString -> StrictText #
ConvertibleStrings LazyText StrictText
Instance details Defined in Data.String.Conversions Methods convertString :: LazyText -> StrictText #
ConvertibleStrings StrictByteString StrictText
Instance details Defined in Data.String.Conversions Methods convertString :: StrictByteString -> StrictText #
ConvertibleStrings StrictText LazyByteString
Instance details Defined in Data.String.Conversions Methods convertString :: StrictText -> LazyByteString #
ConvertibleStrings StrictText LazyText
Instance details Defined in Data.String.Conversions Methods convertString :: StrictText -> LazyText #
ConvertibleStrings StrictText StrictByteString
Instance details Defined in Data.String.Conversions Methods convertString :: StrictText -> StrictByteString #
ConvertibleStrings StrictText StrictText
Instance details Defined in Data.String.Conversions Methods convertString :: StrictText -> StrictText #
ConvertibleStrings StrictText String
Instance details Defined in Data.String.Conversions Methods convertString :: StrictText -> String #
ConvertibleStrings Text Key Source #
Instance details Defined in IHP.HaskellSupport Methods convertString :: Text -> Key #
ConvertibleStrings String StrictText
Instance details Defined in Data.String.Conversions Methods convertString :: String -> StrictText #
Cons Text Text Char Char
Instance details Defined in Control.Lens.Cons Methods _Cons :: Prism Text Text (Char, Text) (Char, Text)
Snoc Text Text Char Char
Instance details Defined in Control.Lens.Cons Methods _Snoc :: Prism Text Text (Text, Char) (Text, Char)
(a ~ Char, b ~ Char) => Each Text Text a b
Instance details Defined in Control.Lens.Each Methods each :: Traversal Text Text a b
SetField "annotations" MetaBag [(Text, Violation)] Source #
Instance details Defined in IHP.ModelSupport Methods setField :: [(Text, Violation)] -> MetaBag -> MetaBag Source #
SetField "touchedFields" MetaBag [Text] Source #
Instance details Defined in IHP.ModelSupport Methods setField :: [Text] -> MetaBag -> MetaBag Source #
SetField "formAction" (FormContext record) Text Source #
Instance details Defined in IHP.View.Types Methods setField :: Text -> FormContext record -> FormContext record Source #
SetField "formClass" (FormContext record) Text Source #
Instance details Defined in IHP.View.Types Methods setField :: Text -> FormContext record -> FormContext record Source #
SetField "formId" (FormContext record) Text Source #
Instance details Defined in IHP.View.Types Methods setField :: Text -> FormContext record -> FormContext record Source #
SetField "formMethod" (FormContext record) Text Source #
Instance details Defined in IHP.View.Types Methods setField :: Text -> FormContext record -> FormContext record Source #
SetField "customFormAttributes" (FormContext record) [(Text, Text)] Source #
Instance details Defined in IHP.View.Types Methods setField :: [(Text, Text)] -> FormContext record -> FormContext record Source #
VerifiyPassword (Maybe Text) Source #
Instance details Defined in IHP.AuthSupport.Authentication Methods verifyPassword' :: Maybe Text -> Text -> Bool Source #
Stream (NoShareInput Text)
Instance details Defined in Text.Megaparsec.Stream Associated Types type Token (NoShareInput Text) type Tokens (NoShareInput Text) Methods tokenToChunk :: Proxy (NoShareInput Text) -> Token (NoShareInput Text) -> Tokens (NoShareInput Text) tokensToChunk :: Proxy (NoShareInput Text) -> [Token (NoShareInput Text)] -> Tokens (NoShareInput Text) chunkToTokens :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> [Token (NoShareInput Text)] chunkLength :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> Int chunkEmpty :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> Bool take1_ :: NoShareInput Text -> Maybe (Token (NoShareInput Text), NoShareInput Text) takeN_ :: Int -> NoShareInput Text -> Maybe (Tokens (NoShareInput Text), NoShareInput Text) takeWhile_ :: (Token (NoShareInput Text) -> Bool) -> NoShareInput Text -> (Tokens (NoShareInput Text), NoShareInput Text)
Stream (ShareInput Text)
Instance details Defined in Text.Megaparsec.Stream Associated Types type Token (ShareInput Text) type Tokens (ShareInput Text) Methods tokenToChunk :: Proxy (ShareInput Text) -> Token (ShareInput Text) -> Tokens (ShareInput Text) tokensToChunk :: Proxy (ShareInput Text) -> [Token (ShareInput Text)] -> Tokens (ShareInput Text) chunkToTokens :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> [Token (ShareInput Text)] chunkLength :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> Int chunkEmpty :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> Bool take1_ :: ShareInput Text -> Maybe (Token (ShareInput Text), ShareInput Text) takeN_ :: Int -> ShareInput Text -> Maybe (Tokens (ShareInput Text), ShareInput Text) takeWhile_ :: (Token (ShareInput Text) -> Bool) -> ShareInput Text -> (Tokens (ShareInput Text), ShareInput Text)
FromField (CI Text)
Instance details Defined in Database.PostgreSQL.Simple.FromField Methods fromField :: FieldParser (CI Text)
ToField (CI Text)
Instance details Defined in Database.PostgreSQL.Simple.ToField Methods toField :: CI Text -> Action
IsString (Text, Bool) Source #	Allows `("my-class", True)` to be written as `"my-class"` Useful together with `classes`
Instance details Defined in IHP.View.Classes Methods fromString :: String -> (Text, Bool) #
type ChunkElem Text
Instance details Defined in Data.Attoparsec.Internal.Types type ChunkElem Text = Char
type State Text
Instance details Defined in Data.Attoparsec.Internal.Types type State Text = Buffer
type Item Text
Instance details Defined in Data.Text type Item Text = Char
type Index Text
Instance details Defined in Control.Lens.At type Index Text = Int
type IxValue Text
Instance details Defined in Control.Lens.At type IxValue Text = Char
type Token Text
Instance details Defined in Text.Megaparsec.Stream type Token Text = Token (ShareInput Text)
type Tokens Text
Instance details Defined in Text.Megaparsec.Stream type Tokens Text = Tokens (ShareInput Text)
type Element Text
Instance details Defined in Data.MonoTraversable type Element Text = Char
type Index Text
Instance details Defined in Data.Sequences type Index Text = Int
type OneItem Text
Instance details Defined in Relude.Container.One type OneItem Text = Char
type Token (NoShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Token (NoShareInput Text) = Char
type Token (ShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Token (ShareInput Text) = Char
type Tokens (NoShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Tokens (NoShareInput Text) = Text
type Tokens (ShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Tokens (ShareInput Text) = Text

class Read a #

Minimal complete definition

readsPrec | readPrec

Instances

Instances details

Read Key
Instance details Defined in Data.Aeson.Key Methods readsPrec :: Int -> ReadS Key readList :: ReadS [Key] readPrec :: ReadPrec Key readListPrec :: ReadPrec [Key]
Read DotNetTime
Instance details Defined in Data.Aeson.Types.Internal Methods readsPrec :: Int -> ReadS DotNetTime readList :: ReadS [DotNetTime] readPrec :: ReadPrec DotNetTime readListPrec :: ReadPrec [DotNetTime]
Read Value
Instance details Defined in Data.Aeson.Types.Internal Methods readsPrec :: Int -> ReadS Value readList :: ReadS [Value] readPrec :: ReadPrec Value readListPrec :: ReadPrec [Value]
Read All
Instance details Defined in Data.Semigroup.Internal Methods readsPrec :: Int -> ReadS All readList :: ReadS [All] readPrec :: ReadPrec All readListPrec :: ReadPrec [All]
Read Any
Instance details Defined in Data.Semigroup.Internal Methods readsPrec :: Int -> ReadS Any readList :: ReadS [Any] readPrec :: ReadPrec Any readListPrec :: ReadPrec [Any]
Read Version
Instance details Defined in Data.Version Methods readsPrec :: Int -> ReadS Version readList :: ReadS [Version] readPrec :: ReadPrec Version readListPrec :: ReadPrec [Version]
Read Void
Instance details Defined in Data.Void Methods readsPrec :: Int -> ReadS Void readList :: ReadS [Void] readPrec :: ReadPrec Void readListPrec :: ReadPrec [Void]
Read CBool
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CBool readList :: ReadS [CBool] readPrec :: ReadPrec CBool readListPrec :: ReadPrec [CBool]
Read CChar
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CChar readList :: ReadS [CChar] readPrec :: ReadPrec CChar readListPrec :: ReadPrec [CChar]
Read CClock
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CClock readList :: ReadS [CClock] readPrec :: ReadPrec CClock readListPrec :: ReadPrec [CClock]
Read CDouble
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CDouble readList :: ReadS [CDouble] readPrec :: ReadPrec CDouble readListPrec :: ReadPrec [CDouble]
Read CFloat
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CFloat readList :: ReadS [CFloat] readPrec :: ReadPrec CFloat readListPrec :: ReadPrec [CFloat]
Read CInt
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CInt readList :: ReadS [CInt] readPrec :: ReadPrec CInt readListPrec :: ReadPrec [CInt]
Read CIntMax
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CIntMax readList :: ReadS [CIntMax] readPrec :: ReadPrec CIntMax readListPrec :: ReadPrec [CIntMax]
Read CIntPtr
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CIntPtr readList :: ReadS [CIntPtr] readPrec :: ReadPrec CIntPtr readListPrec :: ReadPrec [CIntPtr]
Read CLLong
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CLLong readList :: ReadS [CLLong] readPrec :: ReadPrec CLLong readListPrec :: ReadPrec [CLLong]
Read CLong
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CLong readList :: ReadS [CLong] readPrec :: ReadPrec CLong readListPrec :: ReadPrec [CLong]
Read CPtrdiff
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CPtrdiff readList :: ReadS [CPtrdiff] readPrec :: ReadPrec CPtrdiff readListPrec :: ReadPrec [CPtrdiff]
Read CSChar
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CSChar readList :: ReadS [CSChar] readPrec :: ReadPrec CSChar readListPrec :: ReadPrec [CSChar]
Read CSUSeconds
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CSUSeconds readList :: ReadS [CSUSeconds] readPrec :: ReadPrec CSUSeconds readListPrec :: ReadPrec [CSUSeconds]
Read CShort
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CShort readList :: ReadS [CShort] readPrec :: ReadPrec CShort readListPrec :: ReadPrec [CShort]
Read CSigAtomic
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CSigAtomic readList :: ReadS [CSigAtomic] readPrec :: ReadPrec CSigAtomic readListPrec :: ReadPrec [CSigAtomic]
Read CSize
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CSize readList :: ReadS [CSize] readPrec :: ReadPrec CSize readListPrec :: ReadPrec [CSize]
Read CTime
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CTime readList :: ReadS [CTime] readPrec :: ReadPrec CTime readListPrec :: ReadPrec [CTime]
Read CUChar
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CUChar readList :: ReadS [CUChar] readPrec :: ReadPrec CUChar readListPrec :: ReadPrec [CUChar]
Read CUInt
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CUInt readList :: ReadS [CUInt] readPrec :: ReadPrec CUInt readListPrec :: ReadPrec [CUInt]
Read CUIntMax
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CUIntMax readList :: ReadS [CUIntMax] readPrec :: ReadPrec CUIntMax readListPrec :: ReadPrec [CUIntMax]
Read CUIntPtr
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CUIntPtr readList :: ReadS [CUIntPtr] readPrec :: ReadPrec CUIntPtr readListPrec :: ReadPrec [CUIntPtr]
Read CULLong
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CULLong readList :: ReadS [CULLong] readPrec :: ReadPrec CULLong readListPrec :: ReadPrec [CULLong]
Read CULong
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CULong readList :: ReadS [CULong] readPrec :: ReadPrec CULong readListPrec :: ReadPrec [CULong]
Read CUSeconds
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CUSeconds readList :: ReadS [CUSeconds] readPrec :: ReadPrec CUSeconds readListPrec :: ReadPrec [CUSeconds]
Read CUShort
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CUShort readList :: ReadS [CUShort] readPrec :: ReadPrec CUShort readListPrec :: ReadPrec [CUShort]
Read CWchar
Instance details Defined in Foreign.C.Types Methods readsPrec :: Int -> ReadS CWchar readList :: ReadS [CWchar] readPrec :: ReadPrec CWchar readListPrec :: ReadPrec [CWchar]
Read ByteOrder
Instance details Defined in GHC.ByteOrder Methods readsPrec :: Int -> ReadS ByteOrder readList :: ReadS [ByteOrder] readPrec :: ReadPrec ByteOrder readListPrec :: ReadPrec [ByteOrder]
Read Associativity
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS Associativity readList :: ReadS [Associativity] readPrec :: ReadPrec Associativity readListPrec :: ReadPrec [Associativity]
Read DecidedStrictness
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS DecidedStrictness readList :: ReadS [DecidedStrictness] readPrec :: ReadPrec DecidedStrictness readListPrec :: ReadPrec [DecidedStrictness]
Read Fixity
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS Fixity readList :: ReadS [Fixity] readPrec :: ReadPrec Fixity readListPrec :: ReadPrec [Fixity]
Read SourceStrictness
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS SourceStrictness readList :: ReadS [SourceStrictness] readPrec :: ReadPrec SourceStrictness readListPrec :: ReadPrec [SourceStrictness]
Read SourceUnpackedness
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS SourceUnpackedness readList :: ReadS [SourceUnpackedness] readPrec :: ReadPrec SourceUnpackedness readListPrec :: ReadPrec [SourceUnpackedness]
Read SeekMode
Instance details Defined in GHC.IO.Device Methods readsPrec :: Int -> ReadS SeekMode readList :: ReadS [SeekMode] readPrec :: ReadPrec SeekMode readListPrec :: ReadPrec [SeekMode]
Read ExitCode
Instance details Defined in GHC.IO.Exception Methods readsPrec :: Int -> ReadS ExitCode readList :: ReadS [ExitCode] readPrec :: ReadPrec ExitCode readListPrec :: ReadPrec [ExitCode]
Read BufferMode
Instance details Defined in GHC.IO.Handle.Types Methods readsPrec :: Int -> ReadS BufferMode readList :: ReadS [BufferMode] readPrec :: ReadPrec BufferMode readListPrec :: ReadPrec [BufferMode]
Read Newline
Instance details Defined in GHC.IO.Handle.Types Methods readsPrec :: Int -> ReadS Newline readList :: ReadS [Newline] readPrec :: ReadPrec Newline readListPrec :: ReadPrec [Newline]
Read NewlineMode
Instance details Defined in GHC.IO.Handle.Types Methods readsPrec :: Int -> ReadS NewlineMode readList :: ReadS [NewlineMode] readPrec :: ReadPrec NewlineMode readListPrec :: ReadPrec [NewlineMode]
Read IOMode
Instance details Defined in GHC.IO.IOMode Methods readsPrec :: Int -> ReadS IOMode readList :: ReadS [IOMode] readPrec :: ReadPrec IOMode readListPrec :: ReadPrec [IOMode]
Read Int16
Instance details Defined in GHC.Int Methods readsPrec :: Int -> ReadS Int16 readList :: ReadS [Int16] readPrec :: ReadPrec Int16 readListPrec :: ReadPrec [Int16]
Read Int32
Instance details Defined in GHC.Int Methods readsPrec :: Int -> ReadS Int32 readList :: ReadS [Int32] readPrec :: ReadPrec Int32 readListPrec :: ReadPrec [Int32]
Read Int64
Instance details Defined in GHC.Int Methods readsPrec :: Int -> ReadS Int64 readList :: ReadS [Int64] readPrec :: ReadPrec Int64 readListPrec :: ReadPrec [Int64]
Read Int8
Instance details Defined in GHC.Int Methods readsPrec :: Int -> ReadS Int8 readList :: ReadS [Int8] readPrec :: ReadPrec Int8 readListPrec :: ReadPrec [Int8]
Read GCDetails
Instance details Defined in GHC.Stats Methods readsPrec :: Int -> ReadS GCDetails readList :: ReadS [GCDetails] readPrec :: ReadPrec GCDetails readListPrec :: ReadPrec [GCDetails]
Read RTSStats
Instance details Defined in GHC.Stats Methods readsPrec :: Int -> ReadS RTSStats readList :: ReadS [RTSStats] readPrec :: ReadPrec RTSStats readListPrec :: ReadPrec [RTSStats]
Read SomeChar
Instance details Defined in GHC.TypeLits Methods readsPrec :: Int -> ReadS SomeChar readList :: ReadS [SomeChar] readPrec :: ReadPrec SomeChar readListPrec :: ReadPrec [SomeChar]
Read SomeSymbol
Instance details Defined in GHC.TypeLits Methods readsPrec :: Int -> ReadS SomeSymbol readList :: ReadS [SomeSymbol] readPrec :: ReadPrec SomeSymbol readListPrec :: ReadPrec [SomeSymbol]
Read SomeNat
Instance details Defined in GHC.TypeNats Methods readsPrec :: Int -> ReadS SomeNat readList :: ReadS [SomeNat] readPrec :: ReadPrec SomeNat readListPrec :: ReadPrec [SomeNat]
Read GeneralCategory
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS GeneralCategory readList :: ReadS [GeneralCategory] readPrec :: ReadPrec GeneralCategory readListPrec :: ReadPrec [GeneralCategory]
Read Word16
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS Word16 readList :: ReadS [Word16] readPrec :: ReadPrec Word16 readListPrec :: ReadPrec [Word16]
Read Word32
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS Word32 readList :: ReadS [Word32] readPrec :: ReadPrec Word32 readListPrec :: ReadPrec [Word32]
Read Word64
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS Word64 readList :: ReadS [Word64] readPrec :: ReadPrec Word64 readListPrec :: ReadPrec [Word64]
Read Word8
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS Word8 readList :: ReadS [Word8] readPrec :: ReadPrec Word8 readListPrec :: ReadPrec [Word8]
Read CBlkCnt
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CBlkCnt readList :: ReadS [CBlkCnt] readPrec :: ReadPrec CBlkCnt readListPrec :: ReadPrec [CBlkCnt]
Read CBlkSize
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CBlkSize readList :: ReadS [CBlkSize] readPrec :: ReadPrec CBlkSize readListPrec :: ReadPrec [CBlkSize]
Read CCc
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CCc readList :: ReadS [CCc] readPrec :: ReadPrec CCc readListPrec :: ReadPrec [CCc]
Read CClockId
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CClockId readList :: ReadS [CClockId] readPrec :: ReadPrec CClockId readListPrec :: ReadPrec [CClockId]
Read CDev
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CDev readList :: ReadS [CDev] readPrec :: ReadPrec CDev readListPrec :: ReadPrec [CDev]
Read CFsBlkCnt
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CFsBlkCnt readList :: ReadS [CFsBlkCnt] readPrec :: ReadPrec CFsBlkCnt readListPrec :: ReadPrec [CFsBlkCnt]
Read CFsFilCnt
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CFsFilCnt readList :: ReadS [CFsFilCnt] readPrec :: ReadPrec CFsFilCnt readListPrec :: ReadPrec [CFsFilCnt]
Read CGid
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CGid readList :: ReadS [CGid] readPrec :: ReadPrec CGid readListPrec :: ReadPrec [CGid]
Read CId
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CId readList :: ReadS [CId] readPrec :: ReadPrec CId readListPrec :: ReadPrec [CId]
Read CIno
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CIno readList :: ReadS [CIno] readPrec :: ReadPrec CIno readListPrec :: ReadPrec [CIno]
Read CKey
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CKey readList :: ReadS [CKey] readPrec :: ReadPrec CKey readListPrec :: ReadPrec [CKey]
Read CMode
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CMode readList :: ReadS [CMode] readPrec :: ReadPrec CMode readListPrec :: ReadPrec [CMode]
Read CNfds
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CNfds readList :: ReadS [CNfds] readPrec :: ReadPrec CNfds readListPrec :: ReadPrec [CNfds]
Read CNlink
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CNlink readList :: ReadS [CNlink] readPrec :: ReadPrec CNlink readListPrec :: ReadPrec [CNlink]
Read COff
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS COff readList :: ReadS [COff] readPrec :: ReadPrec COff readListPrec :: ReadPrec [COff]
Read CPid
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CPid readList :: ReadS [CPid] readPrec :: ReadPrec CPid readListPrec :: ReadPrec [CPid]
Read CRLim
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CRLim readList :: ReadS [CRLim] readPrec :: ReadPrec CRLim readListPrec :: ReadPrec [CRLim]
Read CSocklen
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CSocklen readList :: ReadS [CSocklen] readPrec :: ReadPrec CSocklen readListPrec :: ReadPrec [CSocklen]
Read CSpeed
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CSpeed readList :: ReadS [CSpeed] readPrec :: ReadPrec CSpeed readListPrec :: ReadPrec [CSpeed]
Read CSsize
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CSsize readList :: ReadS [CSsize] readPrec :: ReadPrec CSsize readListPrec :: ReadPrec [CSsize]
Read CTcflag
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CTcflag readList :: ReadS [CTcflag] readPrec :: ReadPrec CTcflag readListPrec :: ReadPrec [CTcflag]
Read CUid
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS CUid readList :: ReadS [CUid] readPrec :: ReadPrec CUid readListPrec :: ReadPrec [CUid]
Read Fd
Instance details Defined in System.Posix.Types Methods readsPrec :: Int -> ReadS Fd readList :: ReadS [Fd] readPrec :: ReadPrec Fd readListPrec :: ReadPrec [Fd]
Read Lexeme
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS Lexeme readList :: ReadS [Lexeme] readPrec :: ReadPrec Lexeme readListPrec :: ReadPrec [Lexeme]
Read ByteString
Instance details Defined in Data.ByteString.Internal.Type Methods readsPrec :: Int -> ReadS ByteString readList :: ReadS [ByteString] readPrec :: ReadPrec ByteString readListPrec :: ReadPrec [ByteString]
Read ByteString
Instance details Defined in Data.ByteString.Lazy.Internal Methods readsPrec :: Int -> ReadS ByteString readList :: ReadS [ByteString] readPrec :: ReadPrec ByteString readListPrec :: ReadPrec [ByteString]
Read ShortByteString
Instance details Defined in Data.ByteString.Short.Internal Methods readsPrec :: Int -> ReadS ShortByteString readList :: ReadS [ShortByteString] readPrec :: ReadPrec ShortByteString readListPrec :: ReadPrec [ShortByteString]
Read Clock
Instance details Defined in System.Clock Methods readsPrec :: Int -> ReadS Clock readList :: ReadS [Clock] readPrec :: ReadPrec Clock readListPrec :: ReadPrec [Clock]
Read TimeSpec
Instance details Defined in System.Clock Methods readsPrec :: Int -> ReadS TimeSpec readList :: ReadS [TimeSpec] readPrec :: ReadPrec TimeSpec readListPrec :: ReadPrec [TimeSpec]
Read IntSet
Instance details Defined in Data.IntSet.Internal Methods readsPrec :: Int -> ReadS IntSet readList :: ReadS [IntSet] readPrec :: ReadPrec IntSet readListPrec :: ReadPrec [IntSet]
Read FileType
Instance details Defined in System.Directory.Internal.Common Methods readsPrec :: Int -> ReadS FileType readList :: ReadS [FileType] readPrec :: ReadPrec FileType readListPrec :: ReadPrec [FileType]
Read Permissions
Instance details Defined in System.Directory.Internal.Common Methods readsPrec :: Int -> ReadS Permissions readList :: ReadS [Permissions] readPrec :: ReadPrec Permissions readListPrec :: ReadPrec [Permissions]
Read XdgDirectory
Instance details Defined in System.Directory.Internal.Common Methods readsPrec :: Int -> ReadS XdgDirectory readList :: ReadS [XdgDirectory] readPrec :: ReadPrec XdgDirectory readListPrec :: ReadPrec [XdgDirectory]
Read XdgDirectoryList
Instance details Defined in System.Directory.Internal.Common Methods readsPrec :: Int -> ReadS XdgDirectoryList readList :: ReadS [XdgDirectoryList] readPrec :: ReadPrec XdgDirectoryList readListPrec :: ReadPrec [XdgDirectoryList]
Read Ordering
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS Ordering readList :: ReadS [Ordering] readPrec :: ReadPrec Ordering readListPrec :: ReadPrec [Ordering]
Read Cookie
Instance details Defined in Network.HTTP.Client.Types Methods readsPrec :: Int -> ReadS Cookie readList :: ReadS [Cookie] readPrec :: ReadPrec Cookie readListPrec :: ReadPrec [Cookie]
Read CookieJar
Instance details Defined in Network.HTTP.Client.Types Methods readsPrec :: Int -> ReadS CookieJar readList :: ReadS [CookieJar] readPrec :: ReadPrec CookieJar readListPrec :: ReadPrec [CookieJar]
Read Proxy
Instance details Defined in Network.HTTP.Client.Types Methods readsPrec :: Int -> ReadS Proxy readList :: ReadS [Proxy] readPrec :: ReadPrec Proxy readListPrec :: ReadPrec [Proxy]
Read ProxySecureMode
Instance details Defined in Network.HTTP.Client.Types Methods readsPrec :: Int -> ReadS ProxySecureMode readList :: ReadS [ProxySecureMode] readPrec :: ReadPrec ProxySecureMode readListPrec :: ReadPrec [ProxySecureMode]
Read DigestAuthExceptionDetails
Instance details Defined in Network.HTTP.Client.TLS Methods readsPrec :: Int -> ReadS DigestAuthExceptionDetails readList :: ReadS [DigestAuthExceptionDetails] readPrec :: ReadPrec DigestAuthExceptionDetails readListPrec :: ReadPrec [DigestAuthExceptionDetails]
Read StdMethod
Instance details Defined in Network.HTTP.Types.Method Methods readsPrec :: Int -> ReadS StdMethod readList :: ReadS [StdMethod] readPrec :: ReadPrec StdMethod readListPrec :: ReadPrec [StdMethod]
Read IP
Instance details Defined in Net.IP Methods readsPrec :: Int -> ReadS IP readList :: ReadS [IP] readPrec :: ReadPrec IP readListPrec :: ReadPrec [IP]
Read IPv4
Instance details Defined in Net.IPv4 Methods readsPrec :: Int -> ReadS IPv4 readList :: ReadS [IPv4] readPrec :: ReadPrec IPv4 readListPrec :: ReadPrec [IPv4]
Read IPv4Range
Instance details Defined in Net.IPv4 Methods readsPrec :: Int -> ReadS IPv4Range readList :: ReadS [IPv4Range] readPrec :: ReadPrec IPv4Range readListPrec :: ReadPrec [IPv4Range]
Read IPv6
Instance details Defined in Net.IPv6 Methods readsPrec :: Int -> ReadS IPv6 readList :: ReadS [IPv6] readPrec :: ReadPrec IPv6 readListPrec :: ReadPrec [IPv6]
Read IPv6Range
Instance details Defined in Net.IPv6 Methods readsPrec :: Int -> ReadS IPv6Range readList :: ReadS [IPv6Range] readPrec :: ReadPrec IPv6Range readListPrec :: ReadPrec [IPv6Range]
Read IP
Instance details Defined in Data.IP.Addr Methods readsPrec :: Int -> ReadS IP readList :: ReadS [IP] readPrec :: ReadPrec IP readListPrec :: ReadPrec [IP]
Read IPv4
Instance details Defined in Data.IP.Addr Methods readsPrec :: Int -> ReadS IPv4 readList :: ReadS [IPv4] readPrec :: ReadPrec IPv4 readListPrec :: ReadPrec [IPv4]
Read IPv6
Instance details Defined in Data.IP.Addr Methods readsPrec :: Int -> ReadS IPv6 readList :: ReadS [IPv6] readPrec :: ReadPrec IPv6 readListPrec :: ReadPrec [IPv6]
Read IPRange
Instance details Defined in Data.IP.Range Methods readsPrec :: Int -> ReadS IPRange readList :: ReadS [IPRange] readPrec :: ReadPrec IPRange readListPrec :: ReadPrec [IPRange]
Read JobStatus Source #
Instance details Defined in IHP.Job.Types Methods readsPrec :: Int -> ReadS JobStatus readList :: ReadS [JobStatus] readPrec :: ReadPrec JobStatus readListPrec :: ReadPrec [JobStatus]
Read Pos
Instance details Defined in Text.Megaparsec.Pos Methods readsPrec :: Int -> ReadS Pos readList :: ReadS [Pos] readPrec :: ReadPrec Pos readListPrec :: ReadPrec [Pos]
Read SourcePos
Instance details Defined in Text.Megaparsec.Pos Methods readsPrec :: Int -> ReadS SourcePos readList :: ReadS [SourcePos] readPrec :: ReadPrec SourcePos readListPrec :: ReadPrec [SourcePos]
Read AddrInfoFlag
Instance details Defined in Network.Socket.Info Methods readsPrec :: Int -> ReadS AddrInfoFlag readList :: ReadS [AddrInfoFlag] readPrec :: ReadPrec AddrInfoFlag readListPrec :: ReadPrec [AddrInfoFlag]
Read NameInfoFlag
Instance details Defined in Network.Socket.Info Methods readsPrec :: Int -> ReadS NameInfoFlag readList :: ReadS [NameInfoFlag] readPrec :: ReadPrec NameInfoFlag readListPrec :: ReadPrec [NameInfoFlag]
Read Family
Instance details Defined in Network.Socket.Types Methods readsPrec :: Int -> ReadS Family readList :: ReadS [Family] readPrec :: ReadPrec Family readListPrec :: ReadPrec [Family]
Read PortNumber
Instance details Defined in Network.Socket.Types Methods readsPrec :: Int -> ReadS PortNumber readList :: ReadS [PortNumber] readPrec :: ReadPrec PortNumber readListPrec :: ReadPrec [PortNumber]
Read SocketType
Instance details Defined in Network.Socket.Types Methods readsPrec :: Int -> ReadS SocketType readList :: ReadS [SocketType] readPrec :: ReadPrec SocketType readListPrec :: ReadPrec [SocketType]
Read Oid
Instance details Defined in Database.PostgreSQL.LibPQ.Oid Methods readsPrec :: Int -> ReadS Oid readList :: ReadS [Oid] readPrec :: ReadPrec Oid readListPrec :: ReadPrec [Oid]
Read ConnectInfo
Instance details Defined in Database.PostgreSQL.Simple.Internal Methods readsPrec :: Int -> ReadS ConnectInfo readList :: ReadS [ConnectInfo] readPrec :: ReadPrec ConnectInfo readListPrec :: ReadPrec [ConnectInfo]
Read Default
Instance details Defined in Database.PostgreSQL.Simple.Types Methods readsPrec :: Int -> ReadS Default readList :: ReadS [Default] readPrec :: ReadPrec Default readListPrec :: ReadPrec [Default]
Read Identifier
Instance details Defined in Database.PostgreSQL.Simple.Types Methods readsPrec :: Int -> ReadS Identifier readList :: ReadS [Identifier] readPrec :: ReadPrec Identifier readListPrec :: ReadPrec [Identifier]
Read Null
Instance details Defined in Database.PostgreSQL.Simple.Types Methods readsPrec :: Int -> ReadS Null readList :: ReadS [Null] readPrec :: ReadPrec Null readListPrec :: ReadPrec [Null]
Read QualifiedIdentifier
Instance details Defined in Database.PostgreSQL.Simple.Types Methods readsPrec :: Int -> ReadS QualifiedIdentifier readList :: ReadS [QualifiedIdentifier] readPrec :: ReadPrec QualifiedIdentifier readListPrec :: ReadPrec [QualifiedIdentifier]
Read Query
Instance details Defined in Database.PostgreSQL.Simple.Types Methods readsPrec :: Int -> ReadS Query readList :: ReadS [Query] readPrec :: ReadPrec Query readListPrec :: ReadPrec [Query]
Read Savepoint
Instance details Defined in Database.PostgreSQL.Simple.Types Methods readsPrec :: Int -> ReadS Savepoint readList :: ReadS [Savepoint] readPrec :: ReadPrec Savepoint readListPrec :: ReadPrec [Savepoint]
Read CompOption
Instance details Defined in Text.Regex.TDFA.Common Methods readsPrec :: Int -> ReadS CompOption readList :: ReadS [CompOption] readPrec :: ReadPrec CompOption readListPrec :: ReadPrec [CompOption]
Read ExecOption
Instance details Defined in Text.Regex.TDFA.Common Methods readsPrec :: Int -> ReadS ExecOption readList :: ReadS [ExecOption] readPrec :: ReadPrec ExecOption readListPrec :: ReadPrec [ExecOption]
Read Undefined
Instance details Defined in Relude.Debug Methods readsPrec :: Int -> ReadS Undefined readList :: ReadS [Undefined] readPrec :: ReadPrec Undefined readListPrec :: ReadPrec [Undefined]
Read RetryAction
Instance details Defined in Control.Retry Methods readsPrec :: Int -> ReadS RetryAction readList :: ReadS [RetryAction] readPrec :: ReadPrec RetryAction readListPrec :: ReadPrec [RetryAction]
Read RetryStatus
Instance details Defined in Control.Retry Methods readsPrec :: Int -> ReadS RetryStatus readList :: ReadS [RetryStatus] readPrec :: ReadPrec RetryStatus readListPrec :: ReadPrec [RetryStatus]
Read Scientific
Instance details Defined in Data.Scientific Methods readsPrec :: Int -> ReadS Scientific readList :: ReadS [Scientific] readPrec :: ReadPrec Scientific readListPrec :: ReadPrec [Scientific]
Read FPFormat
Instance details Defined in Data.Text.Lazy.Builder.RealFloat Methods readsPrec :: Int -> ReadS FPFormat readList :: ReadS [FPFormat] readPrec :: ReadPrec FPFormat readListPrec :: ReadPrec [FPFormat]
Read ShortText
Instance details Defined in Data.Text.Short.Internal Methods readsPrec :: Int -> ReadS ShortText readList :: ReadS [ShortText] readPrec :: ReadPrec ShortText readListPrec :: ReadPrec [ShortText]
Read DatatypeVariant
Instance details Defined in Language.Haskell.TH.Datatype Methods readsPrec :: Int -> ReadS DatatypeVariant readList :: ReadS [DatatypeVariant] readPrec :: ReadPrec DatatypeVariant readListPrec :: ReadPrec [DatatypeVariant]
Read DayOfWeek
Instance details Defined in Data.Time.Calendar.Week Methods readsPrec :: Int -> ReadS DayOfWeek readList :: ReadS [DayOfWeek] readPrec :: ReadPrec DayOfWeek readListPrec :: ReadPrec [DayOfWeek]
Read DiffTime
Instance details Defined in Data.Time.Clock.Internal.DiffTime Methods readsPrec :: Int -> ReadS DiffTime readList :: ReadS [DiffTime] readPrec :: ReadPrec DiffTime readListPrec :: ReadPrec [DiffTime]
Read NominalDiffTime
Instance details Defined in Data.Time.Clock.Internal.NominalDiffTime Methods readsPrec :: Int -> ReadS NominalDiffTime readList :: ReadS [NominalDiffTime] readPrec :: ReadPrec NominalDiffTime readListPrec :: ReadPrec [NominalDiffTime]
Read UUID
Instance details Defined in Data.UUID.Types.Internal Methods readsPrec :: Int -> ReadS UUID readList :: ReadS [UUID] readPrec :: ReadPrec UUID readListPrec :: ReadPrec [UUID]
Read UnpackedUUID
Instance details Defined in Data.UUID.Types.Internal Methods readsPrec :: Int -> ReadS UnpackedUUID readList :: ReadS [UnpackedUUID] readPrec :: ReadPrec UnpackedUUID readListPrec :: ReadPrec [UnpackedUUID]
Read CorsResourcePolicy
Instance details Defined in Network.Wai.Middleware.Cors Methods readsPrec :: Int -> ReadS CorsResourcePolicy readList :: ReadS [CorsResourcePolicy] readPrec :: ReadPrec CorsResourcePolicy readListPrec :: ReadPrec [CorsResourcePolicy]
Read Int128
Instance details Defined in Data.WideWord.Int128 Methods readsPrec :: Int -> ReadS Int128 readList :: ReadS [Int128] readPrec :: ReadPrec Int128 readListPrec :: ReadPrec [Int128]
Read Word128
Instance details Defined in Data.WideWord.Word128 Methods readsPrec :: Int -> ReadS Word128 readList :: ReadS [Word128] readPrec :: ReadPrec Word128 readListPrec :: ReadPrec [Word128]
Read Word256
Instance details Defined in Data.WideWord.Word256 Methods readsPrec :: Int -> ReadS Word256 readList :: ReadS [Word256] readPrec :: ReadPrec Word256 readListPrec :: ReadPrec [Word256]
Read DictionaryHash
Instance details Defined in Codec.Compression.Zlib.Stream Methods readsPrec :: Int -> ReadS DictionaryHash readList :: ReadS [DictionaryHash] readPrec :: ReadPrec DictionaryHash readListPrec :: ReadPrec [DictionaryHash]
Read Integer
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS Integer readList :: ReadS [Integer] readPrec :: ReadPrec Integer readListPrec :: ReadPrec [Integer]
Read Natural
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS Natural readList :: ReadS [Natural] readPrec :: ReadPrec Natural readListPrec :: ReadPrec [Natural]
Read ()
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS () readList :: ReadS [()] readPrec :: ReadPrec () readListPrec :: ReadPrec [()]
Read Bool
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS Bool readList :: ReadS [Bool] readPrec :: ReadPrec Bool readListPrec :: ReadPrec [Bool]
Read Char
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS Char readList :: ReadS [Char] readPrec :: ReadPrec Char readListPrec :: ReadPrec [Char]
Read Double
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS Double readList :: ReadS [Double] readPrec :: ReadPrec Double readListPrec :: ReadPrec [Double]
Read Float
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS Float readList :: ReadS [Float] readPrec :: ReadPrec Float readListPrec :: ReadPrec [Float]
Read Int
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS Int readList :: ReadS [Int] readPrec :: ReadPrec Int readListPrec :: ReadPrec [Int]
Read Word
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS Word readList :: ReadS [Word] readPrec :: ReadPrec Word readListPrec :: ReadPrec [Word]
Read a => Read (Only a)
Instance details Defined in Data.Tuple.Only Methods readsPrec :: Int -> ReadS (Only a) readList :: ReadS [Only a] readPrec :: ReadPrec (Only a) readListPrec :: ReadPrec [Only a]
Read v => Read (KeyMap v)
Instance details Defined in Data.Aeson.KeyMap Methods readsPrec :: Int -> ReadS (KeyMap v) readList :: ReadS [KeyMap v] readPrec :: ReadPrec (KeyMap v) readListPrec :: ReadPrec [KeyMap v]
Read a => Read (ZipList a)
Instance details Defined in Control.Applicative Methods readsPrec :: Int -> ReadS (ZipList a) readList :: ReadS [ZipList a] readPrec :: ReadPrec (ZipList a) readListPrec :: ReadPrec [ZipList a]
Read a => Read (Complex a)
Instance details Defined in Data.Complex Methods readsPrec :: Int -> ReadS (Complex a) readList :: ReadS [Complex a] readPrec :: ReadPrec (Complex a) readListPrec :: ReadPrec [Complex a]
Read a => Read (Identity a)
Instance details Defined in Data.Functor.Identity Methods readsPrec :: Int -> ReadS (Identity a) readList :: ReadS [Identity a] readPrec :: ReadPrec (Identity a) readListPrec :: ReadPrec [Identity a]
Read a => Read (First a)
Instance details Defined in Data.Monoid Methods readsPrec :: Int -> ReadS (First a) readList :: ReadS [First a] readPrec :: ReadPrec (First a) readListPrec :: ReadPrec [First a]
Read a => Read (Last a)
Instance details Defined in Data.Monoid Methods readsPrec :: Int -> ReadS (Last a) readList :: ReadS [Last a] readPrec :: ReadPrec (Last a) readListPrec :: ReadPrec [Last a]
Read a => Read (Down a)
Instance details Defined in Data.Ord Methods readsPrec :: Int -> ReadS (Down a) readList :: ReadS [Down a] readPrec :: ReadPrec (Down a) readListPrec :: ReadPrec [Down a]
Read a => Read (First a)
Instance details Defined in Data.Semigroup Methods readsPrec :: Int -> ReadS (First a) readList :: ReadS [First a] readPrec :: ReadPrec (First a) readListPrec :: ReadPrec [First a]
Read a => Read (Last a)
Instance details Defined in Data.Semigroup Methods readsPrec :: Int -> ReadS (Last a) readList :: ReadS [Last a] readPrec :: ReadPrec (Last a) readListPrec :: ReadPrec [Last a]
Read a => Read (Max a)
Instance details Defined in Data.Semigroup Methods readsPrec :: Int -> ReadS (Max a) readList :: ReadS [Max a] readPrec :: ReadPrec (Max a) readListPrec :: ReadPrec [Max a]
Read a => Read (Min a)
Instance details Defined in Data.Semigroup Methods readsPrec :: Int -> ReadS (Min a) readList :: ReadS [Min a] readPrec :: ReadPrec (Min a) readListPrec :: ReadPrec [Min a]
Read m => Read (WrappedMonoid m)
Instance details Defined in Data.Semigroup Methods readsPrec :: Int -> ReadS (WrappedMonoid m) readList :: ReadS [WrappedMonoid m] readPrec :: ReadPrec (WrappedMonoid m) readListPrec :: ReadPrec [WrappedMonoid m]
Read a => Read (Dual a)
Instance details Defined in Data.Semigroup.Internal Methods readsPrec :: Int -> ReadS (Dual a) readList :: ReadS [Dual a] readPrec :: ReadPrec (Dual a) readListPrec :: ReadPrec [Dual a]
Read a => Read (Product a)
Instance details Defined in Data.Semigroup.Internal Methods readsPrec :: Int -> ReadS (Product a) readList :: ReadS [Product a] readPrec :: ReadPrec (Product a) readListPrec :: ReadPrec [Product a]
Read a => Read (Sum a)
Instance details Defined in Data.Semigroup.Internal Methods readsPrec :: Int -> ReadS (Sum a) readList :: ReadS [Sum a] readPrec :: ReadPrec (Sum a) readListPrec :: ReadPrec [Sum a]
Read p => Read (Par1 p)
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS (Par1 p) readList :: ReadS [Par1 p] readPrec :: ReadPrec (Par1 p) readListPrec :: ReadPrec [Par1 p]
(Integral a, Read a) => Read (Ratio a)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (Ratio a) readList :: ReadS [Ratio a] readPrec :: ReadPrec (Ratio a) readListPrec :: ReadPrec [Ratio a]
(Read s, FoldCase s) => Read (CI s)
Instance details Defined in Data.CaseInsensitive.Internal Methods readsPrec :: Int -> ReadS (CI s) readList :: ReadS [CI s] readPrec :: ReadPrec (CI s) readListPrec :: ReadPrec [CI s]
Read vertex => Read (SCC vertex)
Instance details Defined in Data.Graph Methods readsPrec :: Int -> ReadS (SCC vertex) readList :: ReadS [SCC vertex] readPrec :: ReadPrec (SCC vertex) readListPrec :: ReadPrec [SCC vertex]
Read e => Read (IntMap e)
Instance details Defined in Data.IntMap.Internal Methods readsPrec :: Int -> ReadS (IntMap e) readList :: ReadS [IntMap e] readPrec :: ReadPrec (IntMap e) readListPrec :: ReadPrec [IntMap e]
Read a => Read (Seq a)
Instance details Defined in Data.Sequence.Internal Methods readsPrec :: Int -> ReadS (Seq a) readList :: ReadS [Seq a] readPrec :: ReadPrec (Seq a) readListPrec :: ReadPrec [Seq a]
Read a => Read (ViewL a)
Instance details Defined in Data.Sequence.Internal Methods readsPrec :: Int -> ReadS (ViewL a) readList :: ReadS [ViewL a] readPrec :: ReadPrec (ViewL a) readListPrec :: ReadPrec [ViewL a]
Read a => Read (ViewR a)
Instance details Defined in Data.Sequence.Internal Methods readsPrec :: Int -> ReadS (ViewR a) readList :: ReadS [ViewR a] readPrec :: ReadPrec (ViewR a) readListPrec :: ReadPrec [ViewR a]
(Read a, Ord a) => Read (Set a)
Instance details Defined in Data.Set.Internal Methods readsPrec :: Int -> ReadS (Set a) readList :: ReadS [Set a] readPrec :: ReadPrec (Set a) readListPrec :: ReadPrec [Set a]
Read a => Read (Tree a)
Instance details Defined in Data.Tree Methods readsPrec :: Int -> ReadS (Tree a) readList :: ReadS [Tree a] readPrec :: ReadPrec (Tree a) readListPrec :: ReadPrec [Tree a]
HashAlgorithm a => Read (Digest a)
Instance details Defined in Crypto.Hash.Types Methods readsPrec :: Int -> ReadS (Digest a) readList :: ReadS [Digest a] readPrec :: ReadPrec (Digest a) readListPrec :: ReadPrec [Digest a]
HashAlgorithm a => Read (Digest a)
Instance details Defined in Crypto.Hash.Types Methods readsPrec :: Int -> ReadS (Digest a) readList :: ReadS [Digest a] readPrec :: ReadPrec (Digest a) readListPrec :: ReadPrec [Digest a]
Read1 f => Read (Fix f)
Instance details Defined in Data.Fix Methods readsPrec :: Int -> ReadS (Fix f) readList :: ReadS [Fix f] readPrec :: ReadPrec (Fix f) readListPrec :: ReadPrec [Fix f]
(Functor f, Read1 f) => Read (Mu f)
Instance details Defined in Data.Fix Methods readsPrec :: Int -> ReadS (Mu f) readList :: ReadS [Mu f] readPrec :: ReadPrec (Mu f) readListPrec :: ReadPrec [Mu f]
(Functor f, Read1 f) => Read (Nu f)
Instance details Defined in Data.Fix Methods readsPrec :: Int -> ReadS (Nu f) readList :: ReadS [Nu f] readPrec :: ReadPrec (Nu f) readListPrec :: ReadPrec [Nu f]
Read a => Read (DNonEmpty a)
Instance details Defined in Data.DList.DNonEmpty.Internal Methods readsPrec :: Int -> ReadS (DNonEmpty a) readList :: ReadS [DNonEmpty a] readPrec :: ReadPrec (DNonEmpty a) readListPrec :: ReadPrec [DNonEmpty a]
Read a => Read (DList a)
Instance details Defined in Data.DList.Internal Methods readsPrec :: Int -> ReadS (DList a) readList :: ReadS [DList a] readPrec :: ReadPrec (DList a) readListPrec :: ReadPrec [DList a]
Read (AddrRange IPv4)
Instance details Defined in Data.IP.Range Methods readsPrec :: Int -> ReadS (AddrRange IPv4) readList :: ReadS [AddrRange IPv4] readPrec :: ReadPrec (AddrRange IPv4) readListPrec :: ReadPrec [AddrRange IPv4]
Read (AddrRange IPv6)
Instance details Defined in Data.IP.Range Methods readsPrec :: Int -> ReadS (AddrRange IPv6) readList :: ReadS [AddrRange IPv6] readPrec :: ReadPrec (AddrRange IPv6) readListPrec :: ReadPrec [AddrRange IPv6]
Read e => Read (ErrorFancy e)
Instance details Defined in Text.Megaparsec.Error Methods readsPrec :: Int -> ReadS (ErrorFancy e) readList :: ReadS [ErrorFancy e] readPrec :: ReadPrec (ErrorFancy e) readListPrec :: ReadPrec [ErrorFancy e]
Read t => Read (ErrorItem t)
Instance details Defined in Text.Megaparsec.Error Methods readsPrec :: Int -> ReadS (ErrorItem t) readList :: ReadS [ErrorItem t] readPrec :: ReadPrec (ErrorItem t) readListPrec :: ReadPrec [ErrorItem t]
Read mono => Read (NonNull mono)
Instance details Defined in Data.NonNull Methods readsPrec :: Int -> ReadS (NonNull mono) readList :: ReadS [NonNull mono] readPrec :: ReadPrec (NonNull mono) readListPrec :: ReadPrec [NonNull mono]
Read a => Read (Binary a)
Instance details Defined in Database.PostgreSQL.Simple.Types Methods readsPrec :: Int -> ReadS (Binary a) readList :: ReadS [Binary a] readPrec :: ReadPrec (Binary a) readListPrec :: ReadPrec [Binary a]
Read a => Read (In a)
Instance details Defined in Database.PostgreSQL.Simple.Types Methods readsPrec :: Int -> ReadS (In a) readList :: ReadS [In a] readPrec :: ReadPrec (In a) readListPrec :: ReadPrec [In a]
Read a => Read (PGArray a)
Instance details Defined in Database.PostgreSQL.Simple.Types Methods readsPrec :: Int -> ReadS (PGArray a) readList :: ReadS [PGArray a] readPrec :: ReadPrec (PGArray a) readListPrec :: ReadPrec [PGArray a]
Read a => Read (Values a)
Instance details Defined in Database.PostgreSQL.Simple.Types Methods readsPrec :: Int -> ReadS (Values a) readList :: ReadS [Values a] readPrec :: ReadPrec (Values a) readListPrec :: ReadPrec [Values a]
Read a => Read (Array a)
Instance details Defined in Data.Primitive.Array Methods readsPrec :: Int -> ReadS (Array a) readList :: ReadS [Array a] readPrec :: ReadPrec (Array a) readListPrec :: ReadPrec [Array a]
Read a => Read (SmallArray a)
Instance details Defined in Data.Primitive.SmallArray Methods readsPrec :: Int -> ReadS (SmallArray a) readList :: ReadS [SmallArray a] readPrec :: ReadPrec (SmallArray a) readListPrec :: ReadPrec [SmallArray a]
Read a => Read (Maybe a)
Instance details Defined in Data.Strict.Maybe Methods readsPrec :: Int -> ReadS (Maybe a) readList :: ReadS [Maybe a] readPrec :: ReadPrec (Maybe a) readListPrec :: ReadPrec [Maybe a]
(Eq a, Hashable a, Read a) => Read (HashSet a)
Instance details Defined in Data.HashSet.Internal Methods readsPrec :: Int -> ReadS (HashSet a) readList :: ReadS [HashSet a] readPrec :: ReadPrec (HashSet a) readListPrec :: ReadPrec [HashSet a]
Read a => Read (Vector a)
Instance details Defined in Data.Vector Methods readsPrec :: Int -> ReadS (Vector a) readList :: ReadS [Vector a] readPrec :: ReadPrec (Vector a) readListPrec :: ReadPrec [Vector a]
(Read a, Prim a) => Read (Vector a)
Instance details Defined in Data.Vector.Primitive Methods readsPrec :: Int -> ReadS (Vector a) readList :: ReadS [Vector a] readPrec :: ReadPrec (Vector a) readListPrec :: ReadPrec [Vector a]
(Read a, Storable a) => Read (Vector a)
Instance details Defined in Data.Vector.Storable Methods readsPrec :: Int -> ReadS (Vector a) readList :: ReadS [Vector a] readPrec :: ReadPrec (Vector a) readListPrec :: ReadPrec [Vector a]
Read a => Read (NonEmpty a)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (NonEmpty a) readList :: ReadS [NonEmpty a] readPrec :: ReadPrec (NonEmpty a) readListPrec :: ReadPrec [NonEmpty a]
Read a => Read (Maybe a)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (Maybe a) readList :: ReadS [Maybe a] readPrec :: ReadPrec (Maybe a) readListPrec :: ReadPrec [Maybe a]
Read a => Read (a)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (a) readList :: ReadS [(a)] readPrec :: ReadPrec (a) readListPrec :: ReadPrec [(a)]
Read a => Read [a]
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS [a] readList :: ReadS [[a]] readPrec :: ReadPrec [a] readListPrec :: ReadPrec [[a]]
(Ix ix, Read ix, Read e, IArray UArray e) => Read (UArray ix e)
Instance details Defined in Data.Array.Base Methods readsPrec :: Int -> ReadS (UArray ix e) readList :: ReadS [UArray ix e] readPrec :: ReadPrec (UArray ix e) readListPrec :: ReadPrec [UArray ix e]
(Read a, Read b) => Read (Either a b)
Instance details Defined in Data.Either Methods readsPrec :: Int -> ReadS (Either a b) readList :: ReadS [Either a b] readPrec :: ReadPrec (Either a b) readListPrec :: ReadPrec [Either a b]
HasResolution a => Read (Fixed a)
Instance details Defined in Data.Fixed Methods readsPrec :: Int -> ReadS (Fixed a) readList :: ReadS [Fixed a] readPrec :: ReadPrec (Fixed a) readListPrec :: ReadPrec [Fixed a]
Read (Proxy t)
Instance details Defined in Data.Proxy Methods readsPrec :: Int -> ReadS (Proxy t) readList :: ReadS [Proxy t] readPrec :: ReadPrec (Proxy t) readListPrec :: ReadPrec [Proxy t]
(Read a, Read b) => Read (Arg a b)
Instance details Defined in Data.Semigroup Methods readsPrec :: Int -> ReadS (Arg a b) readList :: ReadS [Arg a b] readPrec :: ReadPrec (Arg a b) readListPrec :: ReadPrec [Arg a b]
(Ix a, Read a, Read b) => Read (Array a b)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (Array a b) readList :: ReadS [Array a b] readPrec :: ReadPrec (Array a b) readListPrec :: ReadPrec [Array a b]
Read (U1 p)
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS (U1 p) readList :: ReadS [U1 p] readPrec :: ReadPrec (U1 p) readListPrec :: ReadPrec [U1 p]
Read (V1 p)
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS (V1 p) readList :: ReadS [V1 p] readPrec :: ReadPrec (V1 p) readListPrec :: ReadPrec [V1 p]
(Ord k, Read k, Read e) => Read (Map k e)
Instance details Defined in Data.Map.Internal Methods readsPrec :: Int -> ReadS (Map k e) readList :: ReadS [Map k e] readPrec :: ReadPrec (Map k e) readListPrec :: ReadPrec [Map k e]
(Read1 f, Read a) => Read (Cofree f a)
Instance details Defined in Control.Comonad.Cofree Methods readsPrec :: Int -> ReadS (Cofree f a) readList :: ReadS [Cofree f a] readPrec :: ReadPrec (Cofree f a) readListPrec :: ReadPrec [Cofree f a]
(Read1 f, Read a) => Read (Free f a)
Instance details Defined in Control.Monad.Free Methods readsPrec :: Int -> ReadS (Free f a) readList :: ReadS [Free f a] readPrec :: ReadPrec (Free f a) readListPrec :: ReadPrec [Free f a]
(Functor f, Read (f a)) => Read (Yoneda f a)
Instance details Defined in Data.Functor.Yoneda Methods readsPrec :: Int -> ReadS (Yoneda f a) readList :: ReadS [Yoneda f a] readPrec :: ReadPrec (Yoneda f a) readListPrec :: ReadPrec [Yoneda f a]
(Read i, Read a) => Read (Level i a)
Instance details Defined in Control.Lens.Internal.Level Methods readsPrec :: Int -> ReadS (Level i a) readList :: ReadS [Level i a] readPrec :: ReadPrec (Level i a) readListPrec :: ReadPrec [Level i a]
(Read h, Read t) => Read (h :. t)
Instance details Defined in Database.PostgreSQL.Simple.Types Methods readsPrec :: Int -> ReadS (h :. t) readList :: ReadS [h :. t] readPrec :: ReadPrec (h :. t) readListPrec :: ReadPrec [h :. t]
(Read a, Read b) => Read (Either a b)
Instance details Defined in Data.Strict.Either Methods readsPrec :: Int -> ReadS (Either a b) readList :: ReadS [Either a b] readPrec :: ReadPrec (Either a b) readListPrec :: ReadPrec [Either a b]
(Read a, Read b) => Read (These a b)
Instance details Defined in Data.Strict.These Methods readsPrec :: Int -> ReadS (These a b) readList :: ReadS [These a b] readPrec :: ReadPrec (These a b) readListPrec :: ReadPrec [These a b]
(Read a, Read b) => Read (Pair a b)
Instance details Defined in Data.Strict.Tuple Methods readsPrec :: Int -> ReadS (Pair a b) readList :: ReadS [Pair a b] readPrec :: ReadPrec (Pair a b) readListPrec :: ReadPrec [Pair a b]
(Read a, Read b) => Read (These a b)
Instance details Defined in Data.These Methods readsPrec :: Int -> ReadS (These a b) readList :: ReadS [These a b] readPrec :: ReadPrec (These a b) readListPrec :: ReadPrec [These a b]
(Read1 f, Read a) => Read (Lift f a)
Instance details Defined in Control.Applicative.Lift Methods readsPrec :: Int -> ReadS (Lift f a) readList :: ReadS [Lift f a] readPrec :: ReadPrec (Lift f a) readListPrec :: ReadPrec [Lift f a]
(Read1 m, Read a) => Read (MaybeT m a)
Instance details Defined in Control.Monad.Trans.Maybe Methods readsPrec :: Int -> ReadS (MaybeT m a) readList :: ReadS [MaybeT m a] readPrec :: ReadPrec (MaybeT m a) readListPrec :: ReadPrec [MaybeT m a]
(Eq k, Hashable k, Read k, Read e) => Read (HashMap k e)
Instance details Defined in Data.HashMap.Internal Methods readsPrec :: Int -> ReadS (HashMap k e) readList :: ReadS [HashMap k e] readPrec :: ReadPrec (HashMap k e) readListPrec :: ReadPrec [HashMap k e]
(Read a, Read b) => Read (a, b)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (a, b) readList :: ReadS [(a, b)] readPrec :: ReadPrec (a, b) readListPrec :: ReadPrec [(a, b)]
Read a => Read (Const a b)
Instance details Defined in Data.Functor.Const Methods readsPrec :: Int -> ReadS (Const a b) readList :: ReadS [Const a b] readPrec :: ReadPrec (Const a b) readListPrec :: ReadPrec [Const a b]
Read (f a) => Read (Ap f a)
Instance details Defined in Data.Monoid Methods readsPrec :: Int -> ReadS (Ap f a) readList :: ReadS [Ap f a] readPrec :: ReadPrec (Ap f a) readListPrec :: ReadPrec [Ap f a]
Read (f a) => Read (Alt f a)
Instance details Defined in Data.Semigroup.Internal Methods readsPrec :: Int -> ReadS (Alt f a) readList :: ReadS [Alt f a] readPrec :: ReadPrec (Alt f a) readListPrec :: ReadPrec [Alt f a]
a ~ b => Read (a :~: b)
Instance details Defined in Data.Type.Equality Methods readsPrec :: Int -> ReadS (a :~: b) readList :: ReadS [a :~: b] readPrec :: ReadPrec (a :~: b) readListPrec :: ReadPrec [a :~: b]
Read (f p) => Read (Rec1 f p)
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS (Rec1 f p) readList :: ReadS [Rec1 f p] readPrec :: ReadPrec (Rec1 f p) readListPrec :: ReadPrec [Rec1 f p]
Read (p (Fix p a) a) => Read (Fix p a)
Instance details Defined in Data.Bifunctor.Fix Methods readsPrec :: Int -> ReadS (Fix p a) readList :: ReadS [Fix p a] readPrec :: ReadPrec (Fix p a) readListPrec :: ReadPrec [Fix p a]
Read (p a a) => Read (Join p a)
Instance details Defined in Data.Bifunctor.Join Methods readsPrec :: Int -> ReadS (Join p a) readList :: ReadS [Join p a] readPrec :: ReadPrec (Join p a) readListPrec :: ReadPrec [Join p a]
(Read a, Read (f b)) => Read (CofreeF f a b)
Instance details Defined in Control.Comonad.Trans.Cofree Methods readsPrec :: Int -> ReadS (CofreeF f a b) readList :: ReadS [CofreeF f a b] readPrec :: ReadPrec (CofreeF f a b) readListPrec :: ReadPrec [CofreeF f a b]
Read (w (CofreeF f a (CofreeT f w a))) => Read (CofreeT f w a)
Instance details Defined in Control.Comonad.Trans.Cofree Methods readsPrec :: Int -> ReadS (CofreeT f w a) readList :: ReadS [CofreeT f w a] readPrec :: ReadPrec (CofreeT f w a) readListPrec :: ReadPrec [CofreeT f w a]
(Read a, Read (f b)) => Read (FreeF f a b)
Instance details Defined in Control.Monad.Trans.Free Methods readsPrec :: Int -> ReadS (FreeF f a b) readList :: ReadS [FreeF f a b] readPrec :: ReadPrec (FreeF f a b) readListPrec :: ReadPrec [FreeF f a b]
(Read1 f, Read1 m, Read a) => Read (FreeT f m a)
Instance details Defined in Control.Monad.Trans.Free Methods readsPrec :: Int -> ReadS (FreeT f m a) readList :: ReadS [FreeT f m a] readPrec :: ReadPrec (FreeT f m a) readListPrec :: ReadPrec [FreeT f m a]
Read b => Read (Tagged s b)
Instance details Defined in Data.Tagged Methods readsPrec :: Int -> ReadS (Tagged s b) readList :: ReadS [Tagged s b] readPrec :: ReadPrec (Tagged s b) readListPrec :: ReadPrec [Tagged s b]
(Read (f a), Read (g a), Read a) => Read (These1 f g a)
Instance details Defined in Data.Functor.These Methods readsPrec :: Int -> ReadS (These1 f g a) readList :: ReadS [These1 f g a] readPrec :: ReadPrec (These1 f g a) readListPrec :: ReadPrec [These1 f g a]
(Read1 f, Read a) => Read (Backwards f a)
Instance details Defined in Control.Applicative.Backwards Methods readsPrec :: Int -> ReadS (Backwards f a) readList :: ReadS [Backwards f a] readPrec :: ReadPrec (Backwards f a) readListPrec :: ReadPrec [Backwards f a]
(Read e, Read1 m, Read a) => Read (ErrorT e m a)
Instance details Defined in Control.Monad.Trans.Error Methods readsPrec :: Int -> ReadS (ErrorT e m a) readList :: ReadS [ErrorT e m a] readPrec :: ReadPrec (ErrorT e m a) readListPrec :: ReadPrec [ErrorT e m a]
(Read e, Read1 m, Read a) => Read (ExceptT e m a)
Instance details Defined in Control.Monad.Trans.Except Methods readsPrec :: Int -> ReadS (ExceptT e m a) readList :: ReadS [ExceptT e m a] readPrec :: ReadPrec (ExceptT e m a) readListPrec :: ReadPrec [ExceptT e m a]
(Read1 f, Read a) => Read (IdentityT f a)
Instance details Defined in Control.Monad.Trans.Identity Methods readsPrec :: Int -> ReadS (IdentityT f a) readList :: ReadS [IdentityT f a] readPrec :: ReadPrec (IdentityT f a) readListPrec :: ReadPrec [IdentityT f a]
(Read w, Read1 m, Read a) => Read (WriterT w m a)
Instance details Defined in Control.Monad.Trans.Writer.Lazy Methods readsPrec :: Int -> ReadS (WriterT w m a) readList :: ReadS [WriterT w m a] readPrec :: ReadPrec (WriterT w m a) readListPrec :: ReadPrec [WriterT w m a]
(Read w, Read1 m, Read a) => Read (WriterT w m a)
Instance details Defined in Control.Monad.Trans.Writer.Strict Methods readsPrec :: Int -> ReadS (WriterT w m a) readList :: ReadS [WriterT w m a] readPrec :: ReadPrec (WriterT w m a) readListPrec :: ReadPrec [WriterT w m a]
Read a => Read (Constant a b)
Instance details Defined in Data.Functor.Constant Methods readsPrec :: Int -> ReadS (Constant a b) readList :: ReadS [Constant a b] readPrec :: ReadPrec (Constant a b) readListPrec :: ReadPrec [Constant a b]
(Read1 f, Read a) => Read (Reverse f a)
Instance details Defined in Data.Functor.Reverse Methods readsPrec :: Int -> ReadS (Reverse f a) readList :: ReadS [Reverse f a] readPrec :: ReadPrec (Reverse f a) readListPrec :: ReadPrec [Reverse f a]
(Read a, Read b, Read c) => Read (a, b, c)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (a, b, c) readList :: ReadS [(a, b, c)] readPrec :: ReadPrec (a, b, c) readListPrec :: ReadPrec [(a, b, c)]
(Read1 f, Read1 g, Read a) => Read (Product f g a)
Instance details Defined in Data.Functor.Product Methods readsPrec :: Int -> ReadS (Product f g a) readList :: ReadS [Product f g a] readPrec :: ReadPrec (Product f g a) readListPrec :: ReadPrec [Product f g a]
(Read1 f, Read1 g, Read a) => Read (Sum f g a)
Instance details Defined in Data.Functor.Sum Methods readsPrec :: Int -> ReadS (Sum f g a) readList :: ReadS [Sum f g a] readPrec :: ReadPrec (Sum f g a) readListPrec :: ReadPrec [Sum f g a]
a ~~ b => Read (a :~~: b)
Instance details Defined in Data.Type.Equality Methods readsPrec :: Int -> ReadS (a :~~: b) readList :: ReadS [a :~~: b] readPrec :: ReadPrec (a :~~: b) readListPrec :: ReadPrec [a :~~: b]
(Read (f p), Read (g p)) => Read ((f :*: g) p)
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS ((f :: g) p) readList :: ReadS [(f :: g) p] readPrec :: ReadPrec ((f :: g) p) readListPrec :: ReadPrec [(f :: g) p]
(Read (f p), Read (g p)) => Read ((f :+: g) p)
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS ((f :+: g) p) readList :: ReadS [(f :+: g) p] readPrec :: ReadPrec ((f :+: g) p) readListPrec :: ReadPrec [(f :+: g) p]
Read c => Read (K1 i c p)
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS (K1 i c p) readList :: ReadS [K1 i c p] readPrec :: ReadPrec (K1 i c p) readListPrec :: ReadPrec [K1 i c p]
(Read a, Read b, Read c, Read d) => Read (a, b, c, d)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (a, b, c, d) readList :: ReadS [(a, b, c, d)] readPrec :: ReadPrec (a, b, c, d) readListPrec :: ReadPrec [(a, b, c, d)]
(Read1 f, Read1 g, Read a) => Read (Compose f g a)
Instance details Defined in Data.Functor.Compose Methods readsPrec :: Int -> ReadS (Compose f g a) readList :: ReadS [Compose f g a] readPrec :: ReadPrec (Compose f g a) readListPrec :: ReadPrec [Compose f g a]
Read (f (g p)) => Read ((f :.: g) p)
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS ((f :.: g) p) readList :: ReadS [(f :.: g) p] readPrec :: ReadPrec ((f :.: g) p) readListPrec :: ReadPrec [(f :.: g) p]
Read (f p) => Read (M1 i c f p)
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS (M1 i c f p) readList :: ReadS [M1 i c f p] readPrec :: ReadPrec (M1 i c f p) readListPrec :: ReadPrec [M1 i c f p]
Read (f a) => Read (Clown f a b)
Instance details Defined in Data.Bifunctor.Clown Methods readsPrec :: Int -> ReadS (Clown f a b) readList :: ReadS [Clown f a b] readPrec :: ReadPrec (Clown f a b) readListPrec :: ReadPrec [Clown f a b]
Read (p b a) => Read (Flip p a b)
Instance details Defined in Data.Bifunctor.Flip Methods readsPrec :: Int -> ReadS (Flip p a b) readList :: ReadS [Flip p a b] readPrec :: ReadPrec (Flip p a b) readListPrec :: ReadPrec [Flip p a b]
Read (g b) => Read (Joker g a b)
Instance details Defined in Data.Bifunctor.Joker Methods readsPrec :: Int -> ReadS (Joker g a b) readList :: ReadS [Joker g a b] readPrec :: ReadPrec (Joker g a b) readListPrec :: ReadPrec [Joker g a b]
Read (p a b) => Read (WrappedBifunctor p a b)
Instance details Defined in Data.Bifunctor.Wrapped Methods readsPrec :: Int -> ReadS (WrappedBifunctor p a b) readList :: ReadS [WrappedBifunctor p a b] readPrec :: ReadPrec (WrappedBifunctor p a b) readListPrec :: ReadPrec [WrappedBifunctor p a b]
(Read a, Read b, Read c, Read d, Read e) => Read (a, b, c, d, e)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (a, b, c, d, e) readList :: ReadS [(a, b, c, d, e)] readPrec :: ReadPrec (a, b, c, d, e) readListPrec :: ReadPrec [(a, b, c, d, e)]
(Read (f a b), Read (g a b)) => Read (Product f g a b)
Instance details Defined in Data.Bifunctor.Product Methods readsPrec :: Int -> ReadS (Product f g a b) readList :: ReadS [Product f g a b] readPrec :: ReadPrec (Product f g a b) readListPrec :: ReadPrec [Product f g a b]
(Read (p a b), Read (q a b)) => Read (Sum p q a b)
Instance details Defined in Data.Bifunctor.Sum Methods readsPrec :: Int -> ReadS (Sum p q a b) readList :: ReadS [Sum p q a b] readPrec :: ReadPrec (Sum p q a b) readListPrec :: ReadPrec [Sum p q a b]
(Read a, Read b, Read c, Read d, Read e, Read f) => Read (a, b, c, d, e, f)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (a, b, c, d, e, f) readList :: ReadS [(a, b, c, d, e, f)] readPrec :: ReadPrec (a, b, c, d, e, f) readListPrec :: ReadPrec [(a, b, c, d, e, f)]
Read (f (p a b)) => Read (Tannen f p a b)
Instance details Defined in Data.Bifunctor.Tannen Methods readsPrec :: Int -> ReadS (Tannen f p a b) readList :: ReadS [Tannen f p a b] readPrec :: ReadPrec (Tannen f p a b) readListPrec :: ReadPrec [Tannen f p a b]
(Read a, Read b, Read c, Read d, Read e, Read f, Read g) => Read (a, b, c, d, e, f, g)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (a, b, c, d, e, f, g) readList :: ReadS [(a, b, c, d, e, f, g)] readPrec :: ReadPrec (a, b, c, d, e, f, g) readListPrec :: ReadPrec [(a, b, c, d, e, f, g)]
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h) => Read (a, b, c, d, e, f, g, h)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (a, b, c, d, e, f, g, h) readList :: ReadS [(a, b, c, d, e, f, g, h)] readPrec :: ReadPrec (a, b, c, d, e, f, g, h) readListPrec :: ReadPrec [(a, b, c, d, e, f, g, h)]
Read (p (f a) (g b)) => Read (Biff p f g a b)
Instance details Defined in Data.Bifunctor.Biff Methods readsPrec :: Int -> ReadS (Biff p f g a b) readList :: ReadS [Biff p f g a b] readPrec :: ReadPrec (Biff p f g a b) readListPrec :: ReadPrec [Biff p f g a b]
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i) => Read (a, b, c, d, e, f, g, h, i)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (a, b, c, d, e, f, g, h, i) readList :: ReadS [(a, b, c, d, e, f, g, h, i)] readPrec :: ReadPrec (a, b, c, d, e, f, g, h, i) readListPrec :: ReadPrec [(a, b, c, d, e, f, g, h, i)]
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j) => Read (a, b, c, d, e, f, g, h, i, j)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (a, b, c, d, e, f, g, h, i, j) readList :: ReadS [(a, b, c, d, e, f, g, h, i, j)] readPrec :: ReadPrec (a, b, c, d, e, f, g, h, i, j) readListPrec :: ReadPrec [(a, b, c, d, e, f, g, h, i, j)]
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k) => Read (a, b, c, d, e, f, g, h, i, j, k)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (a, b, c, d, e, f, g, h, i, j, k) readList :: ReadS [(a, b, c, d, e, f, g, h, i, j, k)] readPrec :: ReadPrec (a, b, c, d, e, f, g, h, i, j, k) readListPrec :: ReadPrec [(a, b, c, d, e, f, g, h, i, j, k)]
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l) => Read (a, b, c, d, e, f, g, h, i, j, k, l)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (a, b, c, d, e, f, g, h, i, j, k, l) readList :: ReadS [(a, b, c, d, e, f, g, h, i, j, k, l)] readPrec :: ReadPrec (a, b, c, d, e, f, g, h, i, j, k, l) readListPrec :: ReadPrec [(a, b, c, d, e, f, g, h, i, j, k, l)]
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m) => Read (a, b, c, d, e, f, g, h, i, j, k, l, m)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (a, b, c, d, e, f, g, h, i, j, k, l, m) readList :: ReadS [(a, b, c, d, e, f, g, h, i, j, k, l, m)] readPrec :: ReadPrec (a, b, c, d, e, f, g, h, i, j, k, l, m) readListPrec :: ReadPrec [(a, b, c, d, e, f, g, h, i, j, k, l, m)]
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m, Read n) => Read (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (a, b, c, d, e, f, g, h, i, j, k, l, m, n) readList :: ReadS [(a, b, c, d, e, f, g, h, i, j, k, l, m, n)] readPrec :: ReadPrec (a, b, c, d, e, f, g, h, i, j, k, l, m, n) readListPrec :: ReadPrec [(a, b, c, d, e, f, g, h, i, j, k, l, m, n)]
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m, Read n, Read o) => Read (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) readList :: ReadS [(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)] readPrec :: ReadPrec (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) readListPrec :: ReadPrec [(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)]

data Conc (m :: Type -> Type) a #

Instances

Instances details

MonadUnliftIO m => Alternative (Conc m)
Instance details Defined in UnliftIO.Internals.Async Methods empty :: Conc m a # (<\|>) :: Conc m a -> Conc m a -> Conc m a # some :: Conc m a -> Conc m [a] # many :: Conc m a -> Conc m [a] #
MonadUnliftIO m => Applicative (Conc m)
Instance details Defined in UnliftIO.Internals.Async Methods pure :: a -> Conc m a # (<>) :: Conc m (a -> b) -> Conc m a -> Conc m b # liftA2 :: (a -> b -> c) -> Conc m a -> Conc m b -> Conc m c # (>) :: Conc m a -> Conc m b -> Conc m b # (<*) :: Conc m a -> Conc m b -> Conc m a #
Functor m => Functor (Conc m)
Instance details Defined in UnliftIO.Internals.Async Methods fmap :: (a -> b) -> Conc m a -> Conc m b # (<$) :: a -> Conc m b -> Conc m a #
(Monoid a, MonadUnliftIO m) => Monoid (Conc m a)
Instance details Defined in UnliftIO.Internals.Async Methods mempty :: Conc m a # mappend :: Conc m a -> Conc m a -> Conc m a # mconcat :: [Conc m a] -> Conc m a #
(MonadUnliftIO m, Semigroup a) => Semigroup (Conc m a)
Instance details Defined in UnliftIO.Internals.Async Methods (<>) :: Conc m a -> Conc m a -> Conc m a # sconcat :: NonEmpty (Conc m a) -> Conc m a # stimes :: Integral b => b -> Conc m a -> Conc m a #

class Monoid builder => Builder builder lazy | builder -> lazy, lazy -> builder where #

Methods

builderToLazy :: builder -> lazy #

flushBuilder :: builder #

Instances

Instances details

Builder Builder ByteString
Instance details Defined in Data.Builder Methods builderToLazy :: Builder -> ByteString # flushBuilder :: Builder #
Builder Builder Text
Instance details Defined in Data.Builder Methods builderToLazy :: Builder -> Text # flushBuilder :: Builder #

type String = [Char] #

data Maybe a #

Constructors

Nothing
Just a

Instances

Instances details

FromJSON1 Maybe
Instance details Defined in Data.Aeson.Types.FromJSON Methods liftParseJSON :: (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser (Maybe a) # liftParseJSONList :: (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser [Maybe a] #
ToJSON1 Maybe
Instance details Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a -> Value) -> ([a] -> Value) -> Maybe a -> Value # liftToJSONList :: (a -> Value) -> ([a] -> Value) -> [Maybe a] -> Value # liftToEncoding :: (a -> Encoding) -> ([a] -> Encoding) -> Maybe a -> Encoding # liftToEncodingList :: (a -> Encoding) -> ([a] -> Encoding) -> [Maybe a] -> Encoding #
MonadFail Maybe
Instance details Defined in Control.Monad.Fail Methods fail :: String -> Maybe a #
Foldable Maybe
Instance details Defined in Data.Foldable Methods fold :: Monoid m => Maybe m -> m foldMap :: Monoid m => (a -> m) -> Maybe a -> m foldMap' :: Monoid m => (a -> m) -> Maybe a -> m foldr :: (a -> b -> b) -> b -> Maybe a -> b # foldr' :: (a -> b -> b) -> b -> Maybe a -> b foldl :: (b -> a -> b) -> b -> Maybe a -> b # foldl' :: (b -> a -> b) -> b -> Maybe a -> b # foldr1 :: (a -> a -> a) -> Maybe a -> a # foldl1 :: (a -> a -> a) -> Maybe a -> a # toList :: Maybe a -> [a] null :: Maybe a -> Bool length :: Maybe a -> Int # elem :: Eq a => a -> Maybe a -> Bool # maximum :: Ord a => Maybe a -> a # minimum :: Ord a => Maybe a -> a # sum :: Num a => Maybe a -> a # product :: Num a => Maybe a -> a #
Traversable Maybe
Instance details Defined in Data.Traversable Methods traverse :: Applicative f => (a -> f b) -> Maybe a -> f (Maybe b) # sequenceA :: Applicative f => Maybe (f a) -> f (Maybe a) # mapM :: Monad m => (a -> m b) -> Maybe a -> m (Maybe b) # sequence :: Monad m => Maybe (m a) -> m (Maybe a) #
Alternative Maybe
Instance details Defined in GHC.Base Methods empty :: Maybe a # (<\|>) :: Maybe a -> Maybe a -> Maybe a # some :: Maybe a -> Maybe [a] # many :: Maybe a -> Maybe [a] #
Applicative Maybe
Instance details Defined in GHC.Base Methods pure :: a -> Maybe a # (<>) :: Maybe (a -> b) -> Maybe a -> Maybe b # liftA2 :: (a -> b -> c) -> Maybe a -> Maybe b -> Maybe c # (>) :: Maybe a -> Maybe b -> Maybe b # (<*) :: Maybe a -> Maybe b -> Maybe a #
Functor Maybe
Instance details Defined in GHC.Base Methods fmap :: (a -> b) -> Maybe a -> Maybe b # (<$) :: a -> Maybe b -> Maybe a #
Monad Maybe
Instance details Defined in GHC.Base Methods (>>=) :: Maybe a -> (a -> Maybe b) -> Maybe b # (>>) :: Maybe a -> Maybe b -> Maybe b # return :: a -> Maybe a #
MonadPlus Maybe
Instance details Defined in GHC.Base Methods mzero :: Maybe a # mplus :: Maybe a -> Maybe a -> Maybe a #
MonadFailure Maybe
Instance details Defined in Basement.Monad Associated Types type Failure Maybe Methods mFail :: Failure Maybe -> Maybe ()
NFData1 Maybe
Instance details Defined in Control.DeepSeq Methods liftRnf :: (a -> ()) -> Maybe a -> ()
MonadThrow Maybe
Instance details Defined in Control.Monad.Catch Methods throwM :: Exception e => e -> Maybe a
Hashable1 Maybe
Instance details Defined in Data.Hashable.Class Methods liftHashWithSalt :: (Int -> a -> Int) -> Int -> Maybe a -> Int
FoldableWithKey Maybe
Instance details Defined in Data.Key Methods toKeyedList :: Maybe a -> [(Key Maybe, a)] foldMapWithKey :: Monoid m => (Key Maybe -> a -> m) -> Maybe a -> m foldrWithKey :: (Key Maybe -> a -> b -> b) -> b -> Maybe a -> b foldlWithKey :: (b -> Key Maybe -> a -> b) -> b -> Maybe a -> b
Indexable Maybe
Instance details Defined in Data.Key Methods index :: Maybe a -> Key Maybe -> a
Keyed Maybe
Instance details Defined in Data.Key Methods mapWithKey :: (Key Maybe -> a -> b) -> Maybe a -> Maybe b
Lookup Maybe
Instance details Defined in Data.Key Methods lookup :: Key Maybe -> Maybe a -> Maybe a
TraversableWithKey Maybe
Instance details Defined in Data.Key Methods traverseWithKey :: Applicative f => (Key Maybe -> a -> f b) -> Maybe a -> f (Maybe b) mapWithKeyM :: Monad m => (Key Maybe -> a -> m b) -> Maybe a -> m (Maybe b)
Zip Maybe
Instance details Defined in Data.Key Methods zipWith :: (a -> b -> c) -> Maybe a -> Maybe b -> Maybe c zip :: Maybe a -> Maybe b -> Maybe (a, b) zap :: Maybe (a -> b) -> Maybe a -> Maybe b
ZipWithKey Maybe
Instance details Defined in Data.Key Methods zipWithKey :: (Key Maybe -> a -> b -> c) -> Maybe a -> Maybe b -> Maybe c zapWithKey :: Maybe (Key Maybe -> a -> b) -> Maybe a -> Maybe b
Generic1 Maybe
Instance details Defined in GHC.Generics Associated Types type Rep1 Maybe :: k -> Type Methods from1 :: forall (a :: k). Maybe a -> Rep1 Maybe a to1 :: forall (a :: k). Rep1 Maybe a -> Maybe a
FoldableWithIndex () Maybe
Instance details Defined in WithIndex Methods ifoldMap :: Monoid m => (() -> a -> m) -> Maybe a -> m ifoldMap' :: Monoid m => (() -> a -> m) -> Maybe a -> m ifoldr :: (() -> a -> b -> b) -> b -> Maybe a -> b ifoldl :: (() -> b -> a -> b) -> b -> Maybe a -> b ifoldr' :: (() -> a -> b -> b) -> b -> Maybe a -> b ifoldl' :: (() -> b -> a -> b) -> b -> Maybe a -> b
FunctorWithIndex () Maybe
Instance details Defined in WithIndex Methods imap :: (() -> a -> b) -> Maybe a -> Maybe b
TraversableWithIndex () Maybe
Instance details Defined in WithIndex Methods itraverse :: Applicative f => (() -> a -> f b) -> Maybe a -> f (Maybe b)
(Selector s, GToJSON' enc arity (K1 i (Maybe a) :: Type -> Type), KeyValuePair enc pairs, Monoid pairs) => RecordToPairs enc pairs arity (S1 s (K1 i (Maybe a) :: Type -> Type))
Instance details Defined in Data.Aeson.Types.ToJSON Methods recordToPairs :: Options -> ToArgs enc arity a0 -> S1 s (K1 i (Maybe a)) a0 -> pairs
SetField "distinctClause" SQLQuery (Maybe ByteString) Source #
Instance details Defined in IHP.QueryBuilder Methods setField :: Maybe ByteString -> SQLQuery -> SQLQuery Source #
SetField "distinctOnClause" SQLQuery (Maybe ByteString) Source #
Instance details Defined in IHP.QueryBuilder Methods setField :: Maybe ByteString -> SQLQuery -> SQLQuery Source #
SetField "limitClause" SQLQuery (Maybe ByteString) Source #
Instance details Defined in IHP.QueryBuilder Methods setField :: Maybe ByteString -> SQLQuery -> SQLQuery Source #
SetField "offsetClause" SQLQuery (Maybe ByteString) Source #
Instance details Defined in IHP.QueryBuilder Methods setField :: Maybe ByteString -> SQLQuery -> SQLQuery Source #
SetField "queryIndex" SQLQuery (Maybe ByteString) Source #
Instance details Defined in IHP.QueryBuilder Methods setField :: Maybe ByteString -> SQLQuery -> SQLQuery Source #
SetField "whereCondition" SQLQuery (Maybe Condition) Source #
Instance details Defined in IHP.QueryBuilder Methods setField :: Maybe Condition -> SQLQuery -> SQLQuery Source #
Lift a => Lift (Maybe a :: Type)
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Quote m => Maybe a -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => Maybe a -> Code m (Maybe a)
(Selector s, FromJSON a) => RecordFromJSON' arity (S1 s (K1 i (Maybe a) :: Type -> Type))
Instance details Defined in Data.Aeson.Types.FromJSON Methods recordParseJSON' :: (ConName :* (TypeName :* (Options :* FromArgs arity a0))) -> Object -> Parser (S1 s (K1 i (Maybe a)) a0)
LookupField (Maybe a)
Instance details Defined in Data.Aeson.TH Methods lookupField :: (Value -> Parser (Maybe a)) -> String -> String -> Object -> Key -> Parser (Maybe a)
FromJSON a => FromJSON (Maybe a)
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Maybe a) # parseJSONList :: Value -> Parser [Maybe a] #
ToJSON a => ToJSON (Maybe a)
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Maybe a -> Value # toEncoding :: Maybe a -> Encoding # toJSONList :: [Maybe a] -> Value # toEncodingList :: [Maybe a] -> Encoding #
Data a => Data (Maybe a)
Instance details Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Maybe a -> c (Maybe a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Maybe a) # toConstr :: Maybe a -> Constr # dataTypeOf :: Maybe a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Maybe a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Maybe a)) # gmapT :: (forall b. Data b => b -> b) -> Maybe a -> Maybe a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Maybe a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Maybe a -> r # gmapQ :: (forall d. Data d => d -> u) -> Maybe a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Maybe a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Maybe a -> m (Maybe a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Maybe a -> m (Maybe a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Maybe a -> m (Maybe a) #
IsString string => IsString (Maybe string) Source #	Allows `Just "someThing"` to be written as `"someThing"`
Instance details Defined in IHP.HaskellSupport Methods fromString :: String -> Maybe string #
Semigroup a => Monoid (Maybe a)
Instance details Defined in GHC.Base Methods mempty :: Maybe a # mappend :: Maybe a -> Maybe a -> Maybe a # mconcat :: [Maybe a] -> Maybe a #
Semigroup a => Semigroup (Maybe a)
Instance details Defined in GHC.Base Methods (<>) :: Maybe a -> Maybe a -> Maybe a # sconcat :: NonEmpty (Maybe a) -> Maybe a # stimes :: Integral b => b -> Maybe a -> Maybe a #
Generic (Maybe a)
Instance details Defined in GHC.Generics Associated Types type Rep (Maybe a) :: Type -> Type Methods from :: Maybe a -> Rep (Maybe a) x to :: Rep (Maybe a) x -> Maybe a
SingKind a => SingKind (Maybe a)
Instance details Defined in GHC.Generics Associated Types type DemoteRep (Maybe a) Methods fromSing :: forall (a0 :: Maybe a). Sing a0 -> DemoteRep (Maybe a)
Read a => Read (Maybe a)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (Maybe a) readList :: ReadS [Maybe a] readPrec :: ReadPrec (Maybe a) readListPrec :: ReadPrec [Maybe a]
Show a => Show (Maybe a)
Instance details Defined in GHC.Show Methods showsPrec :: Int -> Maybe a -> ShowS # show :: Maybe a -> String showList :: [Maybe a] -> ShowS #
Serialize a => Serialize (Maybe a)
Instance details Defined in Data.Serialize Methods put :: Putter (Maybe a) get :: Get (Maybe a)
Default (Maybe a)
Instance details Defined in Data.Default.Class Methods def :: Maybe a #
NFData a => NFData (Maybe a)
Instance details Defined in Control.DeepSeq Methods rnf :: Maybe a -> () #
Eq (DeBruijn a) => Eq (DeBruijn (Maybe a))
Instance details Defined in GHC.Core.Map.Type Methods (==) :: DeBruijn (Maybe a) -> DeBruijn (Maybe a) -> Bool # (/=) :: DeBruijn (Maybe a) -> DeBruijn (Maybe a) -> Bool #
Eq a => Eq (Maybe a)
Instance details Defined in GHC.Maybe Methods (==) :: Maybe a -> Maybe a -> Bool # (/=) :: Maybe a -> Maybe a -> Bool #
Ord a => Ord (Maybe a)
Instance details Defined in GHC.Maybe Methods compare :: Maybe a -> Maybe a -> Ordering # (<) :: Maybe a -> Maybe a -> Bool # (<=) :: Maybe a -> Maybe a -> Bool # (>) :: Maybe a -> Maybe a -> Bool # (>=) :: Maybe a -> Maybe a -> Bool # max :: Maybe a -> Maybe a -> Maybe a # min :: Maybe a -> Maybe a -> Maybe a #
Hashable a => Hashable (Maybe a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Maybe a -> Int # hash :: Maybe a -> Int #
ApplyAttribute attribute => ApplyAttribute (Maybe attribute)
Instance details Defined in IHP.HSX.QQ Methods applyAttribute :: Text -> Text -> Maybe attribute -> Html -> Html
ToHtml a => ToHtml (Maybe a)
Instance details Defined in IHP.HSX.ToHtml Methods toHtml :: Maybe a -> Html #
At (Maybe a)
Instance details Defined in Control.Lens.At Methods at :: Index (Maybe a) -> Lens' (Maybe a) (Maybe (IxValue (Maybe a)))
Ixed (Maybe a)
Instance details Defined in Control.Lens.At Methods ix :: Index (Maybe a) -> Traversal' (Maybe a) (IxValue (Maybe a))
AsEmpty (Maybe a)
Instance details Defined in Control.Lens.Empty Methods _Empty :: Prism' (Maybe a) ()
VerifiyPassword (Maybe Text) Source #
Instance details Defined in IHP.AuthSupport.Authentication Methods verifyPassword' :: Maybe Text -> Text -> Bool Source #
ParamReader param => ParamReader (Maybe param) Source #
Instance details Defined in IHP.Controller.Param Methods readParameter :: ByteString -> Either ByteString (Maybe param) Source # readParameterJSON :: Value -> Either ByteString (Maybe param) Source #
IsEmpty (Maybe value) Source #
Instance details Defined in IHP.HaskellSupport Methods isEmpty :: Maybe value -> Bool Source #
InputValue fieldType => InputValue (Maybe fieldType) Source #
Instance details Defined in IHP.ModelSupport Methods inputValue :: Maybe fieldType -> Text Source #
EqOrIsOperator (Maybe something) Source #
Instance details Defined in IHP.QueryBuilder Methods toEqOrIsOperator :: Maybe something -> FilterOperator
MonoFoldable (Maybe a)
Instance details Defined in Data.MonoTraversable Methods ofoldMap :: Monoid m => (Element (Maybe a) -> m) -> Maybe a -> m # ofoldr :: (Element (Maybe a) -> b -> b) -> b -> Maybe a -> b # ofoldl' :: (a0 -> Element (Maybe a) -> a0) -> a0 -> Maybe a -> a0 # otoList :: Maybe a -> [Element (Maybe a)] # oall :: (Element (Maybe a) -> Bool) -> Maybe a -> Bool # oany :: (Element (Maybe a) -> Bool) -> Maybe a -> Bool # onull :: Maybe a -> Bool # olength :: Maybe a -> Int # olength64 :: Maybe a -> Int64 # ocompareLength :: Integral i => Maybe a -> i -> Ordering # otraverse_ :: Applicative f => (Element (Maybe a) -> f b) -> Maybe a -> f () # ofor_ :: Applicative f => Maybe a -> (Element (Maybe a) -> f b) -> f () # omapM_ :: Applicative m => (Element (Maybe a) -> m ()) -> Maybe a -> m () # oforM_ :: Applicative m => Maybe a -> (Element (Maybe a) -> m ()) -> m () # ofoldlM :: Monad m => (a0 -> Element (Maybe a) -> m a0) -> a0 -> Maybe a -> m a0 # ofoldMap1Ex :: Semigroup m => (Element (Maybe a) -> m) -> Maybe a -> m # ofoldr1Ex :: (Element (Maybe a) -> Element (Maybe a) -> Element (Maybe a)) -> Maybe a -> Element (Maybe a) # ofoldl1Ex' :: (Element (Maybe a) -> Element (Maybe a) -> Element (Maybe a)) -> Maybe a -> Element (Maybe a) # headEx :: Maybe a -> Element (Maybe a) # lastEx :: Maybe a -> Element (Maybe a) # unsafeHead :: Maybe a -> Element (Maybe a) # unsafeLast :: Maybe a -> Element (Maybe a) # maximumByEx :: (Element (Maybe a) -> Element (Maybe a) -> Ordering) -> Maybe a -> Element (Maybe a) # minimumByEx :: (Element (Maybe a) -> Element (Maybe a) -> Ordering) -> Maybe a -> Element (Maybe a) # oelem :: Element (Maybe a) -> Maybe a -> Bool # onotElem :: Element (Maybe a) -> Maybe a -> Bool #
MonoFunctor (Maybe a)
Instance details Defined in Data.MonoTraversable Methods omap :: (Element (Maybe a) -> Element (Maybe a)) -> Maybe a -> Maybe a #
MonoPointed (Maybe a)
Instance details Defined in Data.MonoTraversable Methods opoint :: Element (Maybe a) -> Maybe a #
MonoTraversable (Maybe a)
Instance details Defined in Data.MonoTraversable Methods otraverse :: Applicative f => (Element (Maybe a) -> f (Element (Maybe a))) -> Maybe a -> f (Maybe a) # omapM :: Applicative m => (Element (Maybe a) -> m (Element (Maybe a))) -> Maybe a -> m (Maybe a) #
FromField a => FromField (Maybe a)
Instance details Defined in Database.PostgreSQL.Simple.FromField Methods fromField :: FieldParser (Maybe a)
FromField a => FromRow (Maybe (Only a))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (Only a))
FromField a => FromRow (Maybe (Vector a))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (Vector a))
(FromField a, FromField b) => FromRow (Maybe (a, b))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b))
(FromField a, FromField b, FromField c) => FromRow (Maybe (a, b, c))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b, c))
(FromField a, FromField b, FromField c, FromField d) => FromRow (Maybe (a, b, c, d))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b, c, d))
(FromField a, FromField b, FromField c, FromField d, FromField e) => FromRow (Maybe (a, b, c, d, e))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b, c, d, e))
(FromField a, FromField b, FromField c, FromField d, FromField e, FromField f) => FromRow (Maybe (a, b, c, d, e, f))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b, c, d, e, f))
(FromField a, FromField b, FromField c, FromField d, FromField e, FromField f, FromField g) => FromRow (Maybe (a, b, c, d, e, f, g))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b, c, d, e, f, g))
(FromField a, FromField b, FromField c, FromField d, FromField e, FromField f, FromField g, FromField h) => FromRow (Maybe (a, b, c, d, e, f, g, h))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b, c, d, e, f, g, h))
(FromField a, FromField b, FromField c, FromField d, FromField e, FromField f, FromField g, FromField h, FromField i) => FromRow (Maybe (a, b, c, d, e, f, g, h, i))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b, c, d, e, f, g, h, i))
(FromField a, FromField b, FromField c, FromField d, FromField e, FromField f, FromField g, FromField h, FromField i, FromField j) => FromRow (Maybe (a, b, c, d, e, f, g, h, i, j))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b, c, d, e, f, g, h, i, j))
(FromField a, FromField b, FromField c, FromField d, FromField e, FromField f, FromField g, FromField h, FromField i, FromField j, FromField k) => FromRow (Maybe (a, b, c, d, e, f, g, h, i, j, k))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b, c, d, e, f, g, h, i, j, k))
(FromField a, FromField b, FromField c, FromField d, FromField e, FromField f, FromField g, FromField h, FromField i, FromField j, FromField k, FromField l) => FromRow (Maybe (a, b, c, d, e, f, g, h, i, j, k, l))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b, c, d, e, f, g, h, i, j, k, l))
(FromField a, FromField b, FromField c, FromField d, FromField e, FromField f, FromField g, FromField h, FromField i, FromField j, FromField k, FromField l, FromField m) => FromRow (Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m))
(FromField a, FromField b, FromField c, FromField d, FromField e, FromField f, FromField g, FromField h, FromField i, FromField j, FromField k, FromField l, FromField m, FromField n) => FromRow (Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n))
(FromField a, FromField b, FromField c, FromField d, FromField e, FromField f, FromField g, FromField h, FromField i, FromField j, FromField k, FromField l, FromField m, FromField n, FromField o) => FromRow (Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o))
(FromField a, FromField b, FromField c, FromField d, FromField e, FromField f, FromField g, FromField h, FromField i, FromField j, FromField k, FromField l, FromField m, FromField n, FromField o, FromField p) => FromRow (Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p))
(FromField a, FromField b, FromField c, FromField d, FromField e, FromField f, FromField g, FromField h, FromField i, FromField j, FromField k, FromField l, FromField m, FromField n, FromField o, FromField p, FromField q) => FromRow (Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q))
(FromField a, FromField b, FromField c, FromField d, FromField e, FromField f, FromField g, FromField h, FromField i, FromField j, FromField k, FromField l, FromField m, FromField n, FromField o, FromField p, FromField q, FromField r) => FromRow (Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r))
(FromField a, FromField b, FromField c, FromField d, FromField e, FromField f, FromField g, FromField h, FromField i, FromField j, FromField k, FromField l, FromField m, FromField n, FromField o, FromField p, FromField q, FromField r, FromField s) => FromRow (Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s))
(FromField a, FromField b, FromField c, FromField d, FromField e, FromField f, FromField g, FromField h, FromField i, FromField j, FromField k, FromField l, FromField m, FromField n, FromField o, FromField p, FromField q, FromField r, FromField s, FromField t) => FromRow (Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t))
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t))
FromField a => FromRow (Maybe [a])
Instance details Defined in Database.PostgreSQL.Simple.FromRow Methods fromRow :: RowParser (Maybe [a])
ToField a => ToField (Maybe a)
Instance details Defined in Database.PostgreSQL.Simple.ToField Methods toField :: Maybe a -> Action
(model ~ GetModelById (Id' table), GetTableName model ~ table, FilterPrimaryKey table) => Fetchable (Maybe (Id' table)) model Source #
Instance details Defined in IHP.Fetch Associated Types type FetchResult (Maybe (Id' table)) model Source # Methods fetch :: Maybe (Id' table) -> IO (FetchResult (Maybe (Id' table)) model) Source # fetchOneOrNothing :: Maybe (Id' table) -> IO (Maybe model) Source # fetchOne :: Maybe (Id' table) -> IO model Source #
SingI ('Nothing :: Maybe a)
Instance details Defined in GHC.Generics Methods sing :: Sing 'Nothing
Each (Maybe a) (Maybe b) a b
Instance details Defined in Control.Lens.Each Methods each :: Traversal (Maybe a) (Maybe b) a b
SingI a2 => SingI ('Just a2 :: Maybe a1)
Instance details Defined in GHC.Generics Methods sing :: Sing ('Just a2)
type Failure Maybe
Instance details Defined in Basement.Monad type Failure Maybe = ()
type Key Maybe
Instance details Defined in Data.Key type Key Maybe = ()
type Rep1 Maybe
Instance details Defined in GHC.Generics type Rep1 Maybe = D1 ('MetaData "Maybe" "GHC.Maybe" "base" 'False) (C1 ('MetaCons "Nothing" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Just" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))
type DemoteRep (Maybe a)
Instance details Defined in GHC.Generics type DemoteRep (Maybe a) = Maybe (DemoteRep a)
type Rep (Maybe a)
Instance details Defined in GHC.Generics type Rep (Maybe a) = D1 ('MetaData "Maybe" "GHC.Maybe" "base" 'False) (C1 ('MetaCons "Nothing" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Just" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))
data Sing (b :: Maybe a)
Instance details Defined in GHC.Generics data Sing (b :: Maybe a) where SNothing :: forall {a}. Sing ('Nothing :: Maybe a) SJust :: forall {a} (a1 :: a). Sing a1 -> Sing ('Just a1)
type Anno (Maybe Role)
Instance details Defined in GHC.Hs.Decls type Anno (Maybe Role) = SrcAnn NoEpAnns
type Anno (Maybe Role)
Instance details Defined in GHC.Hs.Decls type Anno (Maybe Role) = SrcAnn NoEpAnns
type Index (Maybe a)
Instance details Defined in Control.Lens.At type Index (Maybe a) = ()
type IxValue (Maybe a)
Instance details Defined in Control.Lens.At type IxValue (Maybe a) = a
type Element (Maybe a)
Instance details Defined in Data.MonoTraversable type Element (Maybe a) = a
type FetchResult (Maybe (Id' table)) model Source #
Instance details Defined in IHP.Fetch type FetchResult (Maybe (Id' table)) model = [model]

data ByteString #

Instances

Instances details

FromJSON ByteString Source #
Instance details Defined in IHP.DataSync.DynamicQuery Methods parseJSON :: Value -> Parser ByteString # parseJSONList :: Value -> Parser [ByteString] #
Chunk ByteString
Instance details Defined in Data.Attoparsec.Internal.Types Associated Types type ChunkElem ByteString Methods nullChunk :: ByteString -> Bool pappendChunk :: State ByteString -> ByteString -> State ByteString atBufferEnd :: ByteString -> State ByteString -> Pos bufferElemAt :: ByteString -> Pos -> State ByteString -> Maybe (ChunkElem ByteString, Int) chunkElemToChar :: ByteString -> ChunkElem ByteString -> Char
Data ByteString
Instance details Defined in Data.ByteString.Internal.Type Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ByteString -> c ByteString # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ByteString # toConstr :: ByteString -> Constr # dataTypeOf :: ByteString -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ByteString) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ByteString) # gmapT :: (forall b. Data b => b -> b) -> ByteString -> ByteString # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ByteString -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ByteString -> r # gmapQ :: (forall d. Data d => d -> u) -> ByteString -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ByteString -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ByteString -> m ByteString # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ByteString -> m ByteString # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ByteString -> m ByteString #
IsString ByteString
Instance details Defined in Data.ByteString.Internal.Type Methods fromString :: String -> ByteString #
Monoid ByteString
Instance details Defined in Data.ByteString.Internal.Type Methods mempty :: ByteString # mappend :: ByteString -> ByteString -> ByteString # mconcat :: [ByteString] -> ByteString #
Semigroup ByteString
Instance details Defined in Data.ByteString.Internal.Type Methods (<>) :: ByteString -> ByteString -> ByteString # sconcat :: NonEmpty ByteString -> ByteString # stimes :: Integral b => b -> ByteString -> ByteString #
IsList ByteString
Instance details Defined in Data.ByteString.Internal.Type Associated Types type Item ByteString Methods fromList :: [Item ByteString] -> ByteString fromListN :: Int -> [Item ByteString] -> ByteString toList :: ByteString -> [Item ByteString]
Read ByteString
Instance details Defined in Data.ByteString.Internal.Type Methods readsPrec :: Int -> ReadS ByteString readList :: ReadS [ByteString] readPrec :: ReadPrec ByteString readListPrec :: ReadPrec [ByteString]
Show ByteString
Instance details Defined in Data.ByteString.Internal.Type Methods showsPrec :: Int -> ByteString -> ShowS # show :: ByteString -> String showList :: [ByteString] -> ShowS #
FoldCase ByteString
Instance details Defined in Data.CaseInsensitive.Internal Methods foldCase :: ByteString -> ByteString foldCaseList :: [ByteString] -> [ByteString]
Serialize ByteString
Instance details Defined in Data.Serialize Methods put :: Putter ByteString get :: Get ByteString
NFData ByteString
Instance details Defined in Data.ByteString.Internal.Type Methods rnf :: ByteString -> () #
ToLogStr ByteString
Instance details Defined in System.Log.FastLogger.LogStr Methods toLogStr :: ByteString -> LogStr #
Eq ByteString
Instance details Defined in Data.ByteString.Internal.Type Methods (==) :: ByteString -> ByteString -> Bool # (/=) :: ByteString -> ByteString -> Bool #
Ord ByteString
Instance details Defined in Data.ByteString.Internal.Type Methods compare :: ByteString -> ByteString -> Ordering # (<) :: ByteString -> ByteString -> Bool # (<=) :: ByteString -> ByteString -> Bool # (>) :: ByteString -> ByteString -> Bool # (>=) :: ByteString -> ByteString -> Bool # max :: ByteString -> ByteString -> ByteString # min :: ByteString -> ByteString -> ByteString #
Hashable ByteString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> ByteString -> Int # hash :: ByteString -> Int #
ToHtml ByteString
Instance details Defined in IHP.HSX.ToHtml Methods toHtml :: ByteString -> Html #
Ixed ByteString
Instance details Defined in Control.Lens.At Methods ix :: Index ByteString -> Traversal' ByteString (IxValue ByteString)
AsEmpty ByteString
Instance details Defined in Control.Lens.Empty Methods _Empty :: Prism' ByteString ()
Reversing ByteString
Instance details Defined in Control.Lens.Internal.Iso Methods reversing :: ByteString -> ByteString
Prefixed ByteString
Instance details Defined in Control.Lens.Prism Methods prefixed :: ByteString -> Prism' ByteString ByteString
Suffixed ByteString
Instance details Defined in Control.Lens.Prism Methods suffixed :: ByteString -> Prism' ByteString ByteString
ParamReader ByteString Source #
Instance details Defined in IHP.Controller.Param Methods readParameter :: ByteString -> Either ByteString ByteString Source # readParameterJSON :: Value -> Either ByteString ByteString Source #
EnvVarReader ByteString Source #
Instance details Defined in IHP.EnvVar Methods envStringToValue :: ByteString -> Either Text ByteString Source #
Stream ByteString
Instance details Defined in Text.Megaparsec.Stream Associated Types type Token ByteString type Tokens ByteString Methods tokenToChunk :: Proxy ByteString -> Token ByteString -> Tokens ByteString tokensToChunk :: Proxy ByteString -> [Token ByteString] -> Tokens ByteString chunkToTokens :: Proxy ByteString -> Tokens ByteString -> [Token ByteString] chunkLength :: Proxy ByteString -> Tokens ByteString -> Int chunkEmpty :: Proxy ByteString -> Tokens ByteString -> Bool take1_ :: ByteString -> Maybe (Token ByteString, ByteString) takeN_ :: Int -> ByteString -> Maybe (Tokens ByteString, ByteString) takeWhile_ :: (Token ByteString -> Bool) -> ByteString -> (Tokens ByteString, ByteString)
TraversableStream ByteString
Instance details Defined in Text.Megaparsec.Stream Methods reachOffset :: Int -> PosState ByteString -> (Maybe String, PosState ByteString) reachOffsetNoLine :: Int -> PosState ByteString -> PosState ByteString
VisualStream ByteString
Instance details Defined in Text.Megaparsec.Stream Methods showTokens :: Proxy ByteString -> NonEmpty (Token ByteString) -> String tokensLength :: Proxy ByteString -> NonEmpty (Token ByteString) -> Int
MonoZip ByteString
Instance details Defined in Data.Containers Methods ozipWith :: (Element ByteString -> Element ByteString -> Element ByteString) -> ByteString -> ByteString -> ByteString # ozip :: ByteString -> ByteString -> [(Element ByteString, Element ByteString)] # ounzip :: [(Element ByteString, Element ByteString)] -> (ByteString, ByteString) #
GrowingAppend ByteString
Instance details Defined in Data.MonoTraversable
MonoFoldable ByteString
Instance details Defined in Data.MonoTraversable Methods ofoldMap :: Monoid m => (Element ByteString -> m) -> ByteString -> m # ofoldr :: (Element ByteString -> b -> b) -> b -> ByteString -> b # ofoldl' :: (a -> Element ByteString -> a) -> a -> ByteString -> a # otoList :: ByteString -> [Element ByteString] # oall :: (Element ByteString -> Bool) -> ByteString -> Bool # oany :: (Element ByteString -> Bool) -> ByteString -> Bool # onull :: ByteString -> Bool # olength :: ByteString -> Int # olength64 :: ByteString -> Int64 # ocompareLength :: Integral i => ByteString -> i -> Ordering # otraverse_ :: Applicative f => (Element ByteString -> f b) -> ByteString -> f () # ofor_ :: Applicative f => ByteString -> (Element ByteString -> f b) -> f () # omapM_ :: Applicative m => (Element ByteString -> m ()) -> ByteString -> m () # oforM_ :: Applicative m => ByteString -> (Element ByteString -> m ()) -> m () # ofoldlM :: Monad m => (a -> Element ByteString -> m a) -> a -> ByteString -> m a # ofoldMap1Ex :: Semigroup m => (Element ByteString -> m) -> ByteString -> m # ofoldr1Ex :: (Element ByteString -> Element ByteString -> Element ByteString) -> ByteString -> Element ByteString # ofoldl1Ex' :: (Element ByteString -> Element ByteString -> Element ByteString) -> ByteString -> Element ByteString # headEx :: ByteString -> Element ByteString # lastEx :: ByteString -> Element ByteString # unsafeHead :: ByteString -> Element ByteString # unsafeLast :: ByteString -> Element ByteString # maximumByEx :: (Element ByteString -> Element ByteString -> Ordering) -> ByteString -> Element ByteString # minimumByEx :: (Element ByteString -> Element ByteString -> Ordering) -> ByteString -> Element ByteString # oelem :: Element ByteString -> ByteString -> Bool # onotElem :: Element ByteString -> ByteString -> Bool #
MonoFunctor ByteString
Instance details Defined in Data.MonoTraversable Methods omap :: (Element ByteString -> Element ByteString) -> ByteString -> ByteString #
MonoPointed ByteString
Instance details Defined in Data.MonoTraversable Methods opoint :: Element ByteString -> ByteString #
MonoTraversable ByteString
Instance details Defined in Data.MonoTraversable Methods otraverse :: Applicative f => (Element ByteString -> f (Element ByteString)) -> ByteString -> f ByteString # omapM :: Applicative m => (Element ByteString -> m (Element ByteString)) -> ByteString -> m ByteString #