Safe Haskell	None
Language	Haskell2010

DeferredFolds.Unfoldr

Synopsis

newtype Unfoldr a = Unfoldr (forall x. (a -> x -> x) -> x -> x)
fold :: Fold input output -> Unfoldr input -> output
foldable :: Foldable foldable => foldable a -> Unfoldr a
filter :: (a -> Bool) -> Unfoldr a -> Unfoldr a
intsFrom :: Int -> Unfoldr Int
intsInRange :: Int -> Int -> Unfoldr Int
mapAssocs :: Map key value -> Unfoldr (key, value)
intMapAssocs :: IntMap value -> Unfoldr (Int, value)
byteStringBytes :: ByteString -> Unfoldr Word8
shortByteStringBytes :: ShortByteString -> Unfoldr Word8
primArray :: Prim prim => PrimArray prim -> Unfoldr prim
primArrayWithIndices :: Prim prim => PrimArray prim -> Unfoldr (Int, prim)
decimalDigits :: Integral a => a -> Unfoldr a
reverseDecimalDigits :: Integral a => a -> Unfoldr a
hexadecimalDigits :: Integral a => a -> Unfoldr a
reverseHexadecimalDigits :: Integral a => a -> Unfoldr a
reverseDigits :: Integral a => a -> a -> Unfoldr a
reverse :: Unfoldr a -> Unfoldr a
zipWithReverseIndex :: Unfoldr a -> Unfoldr (Int, a)

Documentation

newtype Unfoldr a Source #

Constructors

Unfoldr (forall x. (a -> x -> x) -> x -> x)

Instances

Monad Unfoldr #
Instance details Defined in DeferredFolds.Defs.Unfoldr Methods (>>=) :: Unfoldr a -> (a -> Unfoldr b) -> Unfoldr b # (>>) :: Unfoldr a -> Unfoldr b -> Unfoldr b # return :: a -> Unfoldr a # fail :: String -> Unfoldr a #
Functor Unfoldr #
Instance details Defined in DeferredFolds.Defs.Unfoldr Methods fmap :: (a -> b) -> Unfoldr a -> Unfoldr b # (<$) :: a -> Unfoldr b -> Unfoldr a #
Applicative Unfoldr #
Instance details Defined in DeferredFolds.Defs.Unfoldr Methods pure :: a -> Unfoldr a # (<>) :: Unfoldr (a -> b) -> Unfoldr a -> Unfoldr b # liftA2 :: (a -> b -> c) -> Unfoldr a -> Unfoldr b -> Unfoldr c # (>) :: Unfoldr a -> Unfoldr b -> Unfoldr b # (<*) :: Unfoldr a -> Unfoldr b -> Unfoldr a #
Foldable Unfoldr #
Instance details Defined in DeferredFolds.Defs.Unfoldr Methods fold :: Monoid m => Unfoldr m -> m # foldMap :: Monoid m => (a -> m) -> Unfoldr a -> m # foldr :: (a -> b -> b) -> b -> Unfoldr a -> b # foldr' :: (a -> b -> b) -> b -> Unfoldr a -> b # foldl :: (b -> a -> b) -> b -> Unfoldr a -> b # foldl' :: (b -> a -> b) -> b -> Unfoldr a -> b # foldr1 :: (a -> a -> a) -> Unfoldr a -> a # foldl1 :: (a -> a -> a) -> Unfoldr a -> a # toList :: Unfoldr a -> [a] # null :: Unfoldr a -> Bool # length :: Unfoldr a -> Int # elem :: Eq a => a -> Unfoldr a -> Bool # maximum :: Ord a => Unfoldr a -> a # minimum :: Ord a => Unfoldr a -> a # sum :: Num a => Unfoldr a -> a # product :: Num a => Unfoldr a -> a #
Alternative Unfoldr #
Instance details Defined in DeferredFolds.Defs.Unfoldr Methods empty :: Unfoldr a # (<\|>) :: Unfoldr a -> Unfoldr a -> Unfoldr a # some :: Unfoldr a -> Unfoldr [a] # many :: Unfoldr a -> Unfoldr [a] #
MonadPlus Unfoldr #
Instance details Defined in DeferredFolds.Defs.Unfoldr Methods mzero :: Unfoldr a # mplus :: Unfoldr a -> Unfoldr a -> Unfoldr a #
Eq a => Eq (Unfoldr a) #
Instance details Defined in DeferredFolds.Defs.Unfoldr Methods (==) :: Unfoldr a -> Unfoldr a -> Bool # (/=) :: Unfoldr a -> Unfoldr a -> Bool #
Show a => Show (Unfoldr a) #
Instance details Defined in DeferredFolds.Defs.Unfoldr Methods showsPrec :: Int -> Unfoldr a -> ShowS # show :: Unfoldr a -> String # showList :: [Unfoldr a] -> ShowS #
Semigroup (Unfoldr a) #
Instance details Defined in DeferredFolds.Defs.Unfoldr Methods (<>) :: Unfoldr a -> Unfoldr a -> Unfoldr a # sconcat :: NonEmpty (Unfoldr a) -> Unfoldr a # stimes :: Integral b => b -> Unfoldr a -> Unfoldr a #
Monoid (Unfoldr a) #
Instance details Defined in DeferredFolds.Defs.Unfoldr Methods mempty :: Unfoldr a # mappend :: Unfoldr a -> Unfoldr a -> Unfoldr a # mconcat :: [Unfoldr a] -> Unfoldr a #