Hoogle Search

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

isPrefixOf :: Eq a => [a] -> [a] -> Bool

relude Relude.List.Reexport

The isPrefixOf function takes two lists and returns True iff the first list is a prefix of the second.
Examples
```
>>> "Hello" `isPrefixOf` "Hello World!"
True
```
```
>>> "Hello" `isPrefixOf` "Wello Horld!"
False
```
For the result to be True, the first list must be finite; False, however, results from any mismatch:
```
>>> [0..] `isPrefixOf` [1..]
False
```
```
>>> [0..] `isPrefixOf` [0..99]
False
```
```
>>> [0..99] `isPrefixOf` [0..]
True
```
```
>>> [0..] `isPrefixOf` [0..]
* Hangs forever *
```
isPrefixOf shortcuts when the first argument is empty:
```
>>> isPrefixOf [] undefined
True
```
floatRadix :: RealFloat a => a -> Integer

relude Relude.Numeric

a constant function, returning the radix of the representation (often 2)
Prefixed :: Text -> Doc a -> Doc a

doclayout Text.DocLayout

Doc with each line prefixed with text. Note that trailing blanks are omitted from the prefix when the line after it is empty.
prefixed :: IsString a => String -> Doc a -> Doc a

doclayout Text.DocLayout

Uses the specified string as a prefix for every line of the inside document (except the first, if not at the beginning of the line).

relude	Relude.List.Reexport

relude	Relude.Numeric

doclayout	Text.DocLayout

doclayout	Text.DocLayout

data IsInfixOf (b :: [a]) (c :: [a]) (d :: Bool)

first-class-families	Fcf

Return True when the first list is contained within the second.

>>> :kind! Eval (IsInfixOf [2,3,4] [0,1,2,3,4,5,6])
Eval (IsInfixOf [2,3,4] [0,1,2,3,4,5,6]) :: Bool
= True

>>> :kind! Eval (IsInfixOf [2,4,4] [0,1,2,3,4,5,6])
Eval (IsInfixOf [2,4,4] [0,1,2,3,4,5,6]) :: Bool
= False

data IsPrefixOf (b :: [a]) (c :: [a]) (d :: Bool)

first-class-families	Fcf

Return True when the first list is a prefix of the second.

>>> :kind! Eval ([0,1,2] `IsPrefixOf` [0,1,2,3,4,5])
Eval ([0,1,2] `IsPrefixOf` [0,1,2,3,4,5]) :: Bool
= True

>>> :kind! Eval ([0,1,2] `IsPrefixOf` [0,1,3,2,4,5])
Eval ([0,1,2] `IsPrefixOf` [0,1,3,2,4,5]) :: Bool
= False

>>> :kind! Eval ('[] `IsPrefixOf` [0,1,3,2,4,5])
Eval ('[] `IsPrefixOf` [0,1,3,2,4,5]) :: Bool
= True

>>> :kind! Eval ([0,1,3,2,4,5] `IsPrefixOf` '[])
Eval ([0,1,3,2,4,5] `IsPrefixOf` '[]) :: Bool
= False

data IsSuffixOf (b :: [a]) (c :: [a]) (d :: Bool)

first-class-families	Fcf

Return True when the first list is a suffix of the second.

>>> :kind! Eval (IsSuffixOf [3,4,5] [0,1,2,3,4,5])
Eval (IsSuffixOf [3,4,5] [0,1,2,3,4,5]) :: Bool
= True

>>> :kind! Eval (IsSuffixOf [3,4,5] [0,1,3,2,4,5])
Eval (IsSuffixOf [3,4,5] [0,1,3,2,4,5]) :: Bool
= False

>>> :kind! Eval (IsSuffixOf '[] [0,1,3,2,4,5])
Eval (IsSuffixOf '[] [0,1,3,2,4,5]) :: Bool
= True

>>> :kind! Eval (IsSuffixOf [0,1,3,2,4,5] '[])
Eval (IsSuffixOf [0,1,3,2,4,5] '[]) :: Bool
= False