:: a -> [a] package:relude

repeat :: a -> [a]
relude Relude.List.Reexport
repeat x is an infinite list, with x the value of every element.

Examples

>>> take 10 $ repeat 17
[17,17,17,17,17,17,17,17,17, 17]

>>> repeat undefined
[*** Exception: Prelude.undefined
pure :: Applicative f => a -> f a
relude Relude.Applicative
Lift a value into the Structure.

Examples

>>> pure 1 :: Maybe Int
Just 1

>>> pure 'z' :: [Char]
"z"

>>> pure (pure ":D") :: Maybe [String]
Just [":D"]