text-ascii-1.2.1: ASCII string and character processing.
Copyright(C) 2021 Koz Ross
LicenseApache 2.0
MaintainerKoz Ross <koz.ross@retro-freedom.nz>
Stabilityunstable, not subject to PVP
PortabilityGHC only
Safe HaskellTrustworthy
LanguageHaskell2010

Text.Ascii.Internal

Description

This is an internal module, and is not subject to the PVP. It can change in any way, at any time, and should not be depended on unless you know exactly what you are doing. You have been warned.

Synopsis

Documentation

newtype AsciiChar Source #

Represents valid ASCII characters, which are bytes from 0x00 to 0x7f.

Since: 1.0.0

Constructors

AsciiChar 

Fields

Instances

Instances details
Bounded AsciiChar Source #

Since: 1.0.0

Instance details

Defined in Text.Ascii.Internal

Methods

minBound :: AsciiChar #

maxBound :: AsciiChar #

Show AsciiChar Source #

Since: 1.0.0

Instance details

Defined in Text.Ascii.Internal

Methods

showsPrec :: Int -> AsciiChar -> ShowS #

show :: AsciiChar -> String #

showList :: [AsciiChar] -> ShowS #

FoldCase AsciiChar Source #

Since: 1.0.1

Instance details

Defined in Text.Ascii.Internal

Methods

foldCase :: AsciiChar -> AsciiChar #

foldCaseList :: [AsciiChar] -> [AsciiChar]

NFData AsciiChar Source #

Since: 1.0.0

Instance details

Defined in Text.Ascii.Internal

Methods

rnf :: AsciiChar -> () #

Eq AsciiChar Source #

Since: 1.0.0

Instance details

Defined in Text.Ascii.Internal

Methods

(==) :: AsciiChar -> AsciiChar -> Bool #

(/=) :: AsciiChar -> AsciiChar -> Bool #

Ord AsciiChar Source #

Since: 1.0.0

Instance details

Defined in Text.Ascii.Internal

Methods

compare :: AsciiChar -> AsciiChar -> Ordering #

(<) :: AsciiChar -> AsciiChar -> Bool #

(<=) :: AsciiChar -> AsciiChar -> Bool #

(>) :: AsciiChar -> AsciiChar -> Bool #

(>=) :: AsciiChar -> AsciiChar -> Bool #

max :: AsciiChar -> AsciiChar -> AsciiChar #

min :: AsciiChar -> AsciiChar -> AsciiChar #

Hashable AsciiChar Source #

Since: 1.0.0

Instance details

Defined in Text.Ascii.Internal

Methods

hashWithSalt :: Int -> AsciiChar -> Int #

hash :: AsciiChar -> Int #

Enum (Unsafe AsciiChar) Source #

Since: 1.0.1

Instance details

Defined in Text.Ascii.Unsafe

Methods

succ :: Unsafe AsciiChar -> Unsafe AsciiChar #

pred :: Unsafe AsciiChar -> Unsafe AsciiChar #

toEnum :: Int -> Unsafe AsciiChar #

fromEnum :: Unsafe AsciiChar -> Int #

enumFrom :: Unsafe AsciiChar -> [Unsafe AsciiChar] #

enumFromThen :: Unsafe AsciiChar -> Unsafe AsciiChar -> [Unsafe AsciiChar] #

enumFromTo :: Unsafe AsciiChar -> Unsafe AsciiChar -> [Unsafe AsciiChar] #

enumFromThenTo :: Unsafe AsciiChar -> Unsafe AsciiChar -> Unsafe AsciiChar -> [Unsafe AsciiChar] #

Read (Unsafe AsciiChar) Source #

Since: 1.0.1

Instance details

Defined in Text.Ascii.Unsafe

Methods

readsPrec :: Int -> ReadS (Unsafe AsciiChar) #

readList :: ReadS [Unsafe AsciiChar] #

readPrec :: ReadPrec (Unsafe AsciiChar) #

readListPrec :: ReadPrec [Unsafe AsciiChar] #

pattern AsByte :: Word8 -> AsciiChar Source #

View an AsciiChar as its underlying byte. You can pattern match on this, but since there are more bytes than valid ASCII characters, you cannot use this to construct.

Since: 1.0.0

pattern AsChar :: Char -> AsciiChar Source #

View an AsciiChar as a Char. You can pattern match on this, but since there are more Chars than valid ASCII characters, you cannot use this to construct.

Since: 1.0.0

newtype AsciiText Source #

A string of ASCII characters, represented as a packed byte array.

Since: 1.0.0

Constructors

AsciiText ByteString 

Instances

Instances details
Monoid AsciiText Source #

Since: 1.0.0

Instance details

Defined in Text.Ascii.Internal

Methods

mempty :: AsciiText #

mappend :: AsciiText -> AsciiText -> AsciiText #

mconcat :: [AsciiText] -> AsciiText #

Semigroup AsciiText Source #

Since: 1.0.0

Instance details

Defined in Text.Ascii.Internal

Methods

(<>) :: AsciiText -> AsciiText -> AsciiText #

sconcat :: NonEmpty AsciiText -> AsciiText #

stimes :: Integral b => b -> AsciiText -> AsciiText #

IsList AsciiText Source #

Since: 1.0.0

Instance details

Defined in Text.Ascii.Internal

Associated Types

type Item AsciiText 
Instance details

Defined in Text.Ascii.Internal

type Item AsciiText = AsciiChar

Methods

fromList :: [Item AsciiText] -> AsciiText #

fromListN :: Int -> [Item AsciiText] -> AsciiText #

toList :: AsciiText -> [Item AsciiText] #

Show AsciiText Source #

Since: 1.0.0

Instance details

Defined in Text.Ascii.Internal

Methods

showsPrec :: Int -> AsciiText -> ShowS #

show :: AsciiText -> String #

showList :: [AsciiText] -> ShowS #

FoldCase AsciiText Source #

Since: 1.0.1

Instance details

Defined in Text.Ascii.Internal

Methods

foldCase :: AsciiText -> AsciiText #

foldCaseList :: [AsciiText] -> [AsciiText]

NFData AsciiText Source #

Since: 1.0.0

Instance details

Defined in Text.Ascii.Internal

Methods

rnf :: AsciiText -> () #

Eq AsciiText Source #

Since: 1.0.0

Instance details

Defined in Text.Ascii.Internal

Methods

(==) :: AsciiText -> AsciiText -> Bool #

(/=) :: AsciiText -> AsciiText -> Bool #

Ord AsciiText Source #

Since: 1.0.0

Instance details

Defined in Text.Ascii.Internal

Methods

compare :: AsciiText -> AsciiText -> Ordering #

(<) :: AsciiText -> AsciiText -> Bool #

(<=) :: AsciiText -> AsciiText -> Bool #

(>) :: AsciiText -> AsciiText -> Bool #

(>=) :: AsciiText -> AsciiText -> Bool #

max :: AsciiText -> AsciiText -> AsciiText #

min :: AsciiText -> AsciiText -> AsciiText #

Stream AsciiText Source #

Since: 1.0.1

Instance details

Defined in Text.Ascii.Internal

Associated Types

type Token AsciiText 
Instance details

Defined in Text.Ascii.Internal

type Token AsciiText = AsciiChar
type Tokens AsciiText 
Instance details

Defined in Text.Ascii.Internal

type Tokens AsciiText = AsciiText

Methods

tokenToChunk :: Proxy AsciiText -> Token AsciiText -> Tokens AsciiText #

tokensToChunk :: Proxy AsciiText -> [Token AsciiText] -> Tokens AsciiText #

chunkToTokens :: Proxy AsciiText -> Tokens AsciiText -> [Token AsciiText] #

chunkLength :: Proxy AsciiText -> Tokens AsciiText -> Int #

chunkEmpty :: Proxy AsciiText -> Tokens AsciiText -> Bool #

take1_ :: AsciiText -> Maybe (Token AsciiText, AsciiText) #

takeN_ :: Int -> AsciiText -> Maybe (Tokens AsciiText, AsciiText) #

takeWhile_ :: (Token AsciiText -> Bool) -> AsciiText -> (Tokens AsciiText, AsciiText) #

TraversableStream AsciiText Source #

Since: 1.0.1

Instance details

Defined in Text.Ascii.Internal

Methods

reachOffset :: Int -> PosState AsciiText -> (Maybe String, PosState AsciiText) #

reachOffsetNoLine :: Int -> PosState AsciiText -> PosState AsciiText #

VisualStream AsciiText Source #

Since: 1.0.1

Instance details

Defined in Text.Ascii.Internal

Methods

showTokens :: Proxy AsciiText -> NonEmpty (Token AsciiText) -> String #

tokensLength :: Proxy AsciiText -> NonEmpty (Token AsciiText) -> Int #

FactorialMonoid AsciiText Source #

Since: 1.2

Instance details

Defined in Text.Ascii.Internal

Methods

splitPrimePrefix :: AsciiText -> Maybe (AsciiText, AsciiText) #

splitPrimeSuffix :: AsciiText -> Maybe (AsciiText, AsciiText) #

inits :: AsciiText -> [AsciiText] #

tails :: AsciiText -> [AsciiText] #

span :: (AsciiText -> Bool) -> AsciiText -> (AsciiText, AsciiText) #

break :: (AsciiText -> Bool) -> AsciiText -> (AsciiText, AsciiText) #

split :: (AsciiText -> Bool) -> AsciiText -> [AsciiText] #

takeWhile :: (AsciiText -> Bool) -> AsciiText -> AsciiText #

dropWhile :: (AsciiText -> Bool) -> AsciiText -> AsciiText #

spanMaybe :: s -> (s -> AsciiText -> Maybe s) -> AsciiText -> (AsciiText, AsciiText, s) #

spanMaybe' :: s -> (s -> AsciiText -> Maybe s) -> AsciiText -> (AsciiText, AsciiText, s) #

splitAt :: Int -> AsciiText -> (AsciiText, AsciiText) #

drop :: Int -> AsciiText -> AsciiText #

take :: Int -> AsciiText -> AsciiText #

LeftGCDMonoid AsciiText Source #

Since: 1.2

Instance details

Defined in Text.Ascii.Internal

Methods

commonPrefix :: AsciiText -> AsciiText -> AsciiText #

stripCommonPrefix :: AsciiText -> AsciiText -> (AsciiText, AsciiText, AsciiText) #

RightGCDMonoid AsciiText Source #

Since: 1.2

Instance details

Defined in Text.Ascii.Internal

Methods

commonSuffix :: AsciiText -> AsciiText -> AsciiText #

stripCommonSuffix :: AsciiText -> AsciiText -> (AsciiText, AsciiText, AsciiText) #

OverlappingGCDMonoid AsciiText Source #

Since: 1.2

Instance details

Defined in Text.Ascii.Internal

Methods

stripPrefixOverlap :: AsciiText -> AsciiText -> AsciiText #

stripSuffixOverlap :: AsciiText -> AsciiText -> AsciiText #

overlap :: AsciiText -> AsciiText -> AsciiText #

stripOverlap :: AsciiText -> AsciiText -> (AsciiText, AsciiText, AsciiText) #

MonoidNull AsciiText Source #

Since: 1.2

Instance details

Defined in Text.Ascii.Internal

Methods

null :: AsciiText -> Bool #

PositiveMonoid AsciiText Source #

Since: 1.2

Instance details

Defined in Text.Ascii.Internal

LeftCancellative AsciiText Source #

Since: 1.2

Instance details

Defined in Text.Ascii.Internal

LeftReductive AsciiText Source #

Since: 1.2

Instance details

Defined in Text.Ascii.Internal

Methods

isPrefixOf :: AsciiText -> AsciiText -> Bool #

stripPrefix :: AsciiText -> AsciiText -> Maybe AsciiText #

RightCancellative AsciiText Source #

Since: 1.2

Instance details

Defined in Text.Ascii.Internal

RightReductive AsciiText Source #

Since: 1.2

Instance details

Defined in Text.Ascii.Internal

Methods

isSuffixOf :: AsciiText -> AsciiText -> Bool #

stripSuffix :: AsciiText -> AsciiText -> Maybe AsciiText #

Factorial AsciiText Source #

Since: 1.2

Instance details

Defined in Text.Ascii.Internal

Methods

factors :: AsciiText -> [AsciiText] #

primePrefix :: AsciiText -> AsciiText #

primeSuffix :: AsciiText -> AsciiText #

foldl :: (a -> AsciiText -> a) -> a -> AsciiText -> a #

foldl' :: (a -> AsciiText -> a) -> a -> AsciiText -> a #

foldr :: (AsciiText -> a -> a) -> a -> AsciiText -> a #

length :: AsciiText -> Int #

foldMap :: Monoid n => (AsciiText -> n) -> AsciiText -> n #

reverse :: AsciiText -> AsciiText #

StableFactorial AsciiText Source #

Since: 1.2

Instance details

Defined in Text.Ascii.Internal

Ixed AsciiText Source #

Since: 1.0.1

Instance details

Defined in Text.Ascii.Internal

Associated Types

type IxKind AsciiText 
Instance details

Defined in Text.Ascii.Internal

type IxKind AsciiText = An_AffineTraversal

Methods

ix :: Index AsciiText -> Optic' (IxKind AsciiText) NoIx AsciiText (IxValue AsciiText) #

Read (Unsafe AsciiText) Source #

Since: 1.0.1

Instance details

Defined in Text.Ascii.Unsafe

Methods

readsPrec :: Int -> ReadS (Unsafe AsciiText) #

readList :: ReadS [Unsafe AsciiText] #

readPrec :: ReadPrec (Unsafe AsciiText) #

readListPrec :: ReadPrec [Unsafe AsciiText] #

type Item AsciiText Source # 
Instance details

Defined in Text.Ascii.Internal

type Item AsciiText = AsciiChar
type Token AsciiText Source # 
Instance details

Defined in Text.Ascii.Internal

type Token AsciiText = AsciiChar
type Tokens AsciiText Source # 
Instance details

Defined in Text.Ascii.Internal

type Tokens AsciiText = AsciiText
type Index AsciiText Source #

Since: 1.0.1

Instance details

Defined in Text.Ascii.Internal

type Index AsciiText = Int
type IxKind AsciiText Source # 
Instance details

Defined in Text.Ascii.Internal

type IxKind AsciiText = An_AffineTraversal
type IxValue AsciiText Source #

Since: 1.0.1

Instance details

Defined in Text.Ascii.Internal

type IxValue AsciiText = AsciiChar

isJustAscii :: Word8 -> Maybe Char Source #