prologue-3.2.4: Better, more general Prelude exporting common utilities.
Prologue.Data.OneTuple
newtype OneTuple a Source #
Constructors
Fields
Defined in Prologue.Data.OneTuple
Methods
(>>=) :: OneTuple a -> (a -> OneTuple b) -> OneTuple b #
(>>) :: OneTuple a -> OneTuple b -> OneTuple b #
return :: a -> OneTuple a #
fail :: String -> OneTuple a #
fmap :: (a -> b) -> OneTuple a -> OneTuple b #
(<$) :: a -> OneTuple b -> OneTuple a #
mfix :: (a -> OneTuple a) -> OneTuple a #
pure :: a -> OneTuple a #
(<*>) :: OneTuple (a -> b) -> OneTuple a -> OneTuple b #
liftA2 :: (a -> b -> c) -> OneTuple a -> OneTuple b -> OneTuple c #
(*>) :: OneTuple a -> OneTuple b -> OneTuple b #
(<*) :: OneTuple a -> OneTuple b -> OneTuple a #
fold :: Monoid m => OneTuple m -> m #
foldMap :: Monoid m => (a -> m) -> OneTuple a -> m #
foldr :: (a -> b -> b) -> b -> OneTuple a -> b #
foldr' :: (a -> b -> b) -> b -> OneTuple a -> b #
foldl :: (b -> a -> b) -> b -> OneTuple a -> b #
foldl' :: (b -> a -> b) -> b -> OneTuple a -> b #
foldr1 :: (a -> a -> a) -> OneTuple a -> a #
foldl1 :: (a -> a -> a) -> OneTuple a -> a #
toList :: OneTuple a -> [a] #
null :: OneTuple a -> Bool #
length :: OneTuple a -> Int #
elem :: Eq a => a -> OneTuple a -> Bool #
maximum :: Ord a => OneTuple a -> a #
minimum :: Ord a => OneTuple a -> a #
sum :: Num a => OneTuple a -> a #
product :: Num a => OneTuple a -> a #
traverse :: Applicative f => (a -> f b) -> OneTuple a -> f (OneTuple b) #
sequenceA :: Applicative f => OneTuple (f a) -> f (OneTuple a) #
mapM :: Monad m => (a -> m b) -> OneTuple a -> m (OneTuple b) #
sequence :: Monad m => OneTuple (m a) -> m (OneTuple a) #
minBound :: OneTuple a #
maxBound :: OneTuple a #
succ :: OneTuple a -> OneTuple a #
pred :: OneTuple a -> OneTuple a #
toEnum :: Int -> OneTuple a #
fromEnum :: OneTuple a -> Int #
enumFrom :: OneTuple a -> [OneTuple a] #
enumFromThen :: OneTuple a -> OneTuple a -> [OneTuple a] #
enumFromTo :: OneTuple a -> OneTuple a -> [OneTuple a] #
enumFromThenTo :: OneTuple a -> OneTuple a -> OneTuple a -> [OneTuple a] #
(==) :: OneTuple a -> OneTuple a -> Bool #
(/=) :: OneTuple a -> OneTuple a -> Bool #
compare :: OneTuple a -> OneTuple a -> Ordering #
(<) :: OneTuple a -> OneTuple a -> Bool #
(<=) :: OneTuple a -> OneTuple a -> Bool #
(>) :: OneTuple a -> OneTuple a -> Bool #
(>=) :: OneTuple a -> OneTuple a -> Bool #
max :: OneTuple a -> OneTuple a -> OneTuple a #
min :: OneTuple a -> OneTuple a -> OneTuple a #
readsPrec :: Int -> ReadS (OneTuple a) #
readList :: ReadS [OneTuple a] #
readPrec :: ReadPrec (OneTuple a) #
readListPrec :: ReadPrec [OneTuple a] #
showsPrec :: Int -> OneTuple a -> ShowS #
show :: OneTuple a -> String #
showList :: [OneTuple a] -> ShowS #
range :: (OneTuple a, OneTuple a) -> [OneTuple a] #
index :: (OneTuple a, OneTuple a) -> OneTuple a -> Int #
unsafeIndex :: (OneTuple a, OneTuple a) -> OneTuple a -> Int
inRange :: (OneTuple a, OneTuple a) -> OneTuple a -> Bool #
rangeSize :: (OneTuple a, OneTuple a) -> Int #
unsafeRangeSize :: (OneTuple a, OneTuple a) -> Int
(<>) :: OneTuple a -> OneTuple a -> OneTuple a #
sconcat :: NonEmpty (OneTuple a) -> OneTuple a #
stimes :: Integral b => b -> OneTuple a -> OneTuple a #
mempty :: OneTuple a #
mappend :: OneTuple a -> OneTuple a -> OneTuple a #
mconcat :: [OneTuple a] -> OneTuple a #
Defined in Prologue.Data.Tuple
Associated Types
type Unwrapped (OneTuple a) :: * #
_Wrapped' :: Iso' (OneTuple a) (Unwrapped (OneTuple a)) #
curry :: (OneTuple a1 -> r) -> Curried (OneTuple a1 -> r) Source #
uncurry :: Curried (OneTuple a1 -> r) -> OneTuple a1 -> r Source #