Fcf.Data.Text

Fcf.Data.Text

We mimick Data.Text but on type level. The current internal representation is based on type level lists. The current (as of early 2023) implementation of this Fcf.Data.Text will be deprecated and replaced with the contents of Fcf.Data.NewText later 2023 as newer version GHC become more widespread.

The old version working with 9.0.x or less will be kept at Fcf.Data.OldText for some time. Similarly, the module Fcf.Data.NewText contains the functions and definitions for better Text type, which will be taken into use after some time.

Documentation

newtype Text

Text is a data structure, that is, a list to hold type-level symbols of length one.

Constructors

Text Symbol

Instances

type Eval Empty

Defined in Fcf.Data.Text

type Eval Empty = 'Text ""

type Eval (Concat lst :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Concat lst :: Text -> Type) = 'Text (ToSymbol2 @@ Eval (FMap ToSymbol lst))

type Eval (FromList txt :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (FromList txt :: Text -> Type) = 'Text (ToSymbol2 @@ Eval (FMap ToSymbol txt))

type Eval (FromSymbolList sym :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (FromSymbolList sym :: Text -> Type) = 'Text (ToSymbol2 @@ sym)

type Eval (Reverse txt :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Reverse txt :: Text -> Type) = Eval (FromList =<< ((Reverse :: [Text] -> [Text] -> Type) =<< ToList txt))

type Eval (Singleton s :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Singleton s :: Text -> Type) = 'Text s

type Eval (Strip txt :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Strip txt :: Text -> Type) = Eval (DropAround IsSpaceDelim txt)

type Eval (Unlines txts :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Unlines txts :: Text -> Type) = Eval (Concat =<< FMap (Flip Append (Singleton @@ "\n")) txts)

type Eval (Unwords txts :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Unwords txts :: Text -> Type) = Eval (Intercalate ('Text " ") txts)

type Eval (Append ('Text s1) ('Text s2) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Append ('Text s1) ('Text s2) :: Text -> Type) = 'Text (AppendSymbol s1 s2)

type Eval (Cons s ('Text sym) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Cons s ('Text sym) :: Text -> Type) = 'Text (AppendSymbol s sym)

type Eval (Drop n ('Text lst) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Drop n ('Text lst) :: Text -> Type) = Eval (FromSymbolList =<< Drop n (ToList lst))

type Eval (DropAround f txt :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (DropAround f txt :: Text -> Type) = Eval (DropWhile f =<< DropWhileEnd f txt)

type Eval (DropEnd n ('Text lst) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (DropEnd n ('Text lst) :: Text -> Type) = Eval (FromSymbolList =<< ((Reverse :: [Symbol] -> [Symbol] -> Type) =<< ((Drop n :: [Symbol] -> [Symbol] -> Type) =<< Reverse (ToList lst))))

type Eval (DropWhile f ('Text lst) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (DropWhile f ('Text lst) :: Text -> Type) = Eval (FromSymbolList =<< DropWhile f (ToList lst))

type Eval (DropWhileEnd f ('Text lst) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (DropWhileEnd f ('Text lst) :: Text -> Type) = Eval (FromSymbolList =<< ((Reverse :: [Symbol] -> [Symbol] -> Type) =<< (DropWhile f =<< Reverse (ToList lst))))

type Eval (FConcatMap f ('Text lst) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (FConcatMap f ('Text lst) :: Text -> Type) = Eval (Concat =<< FMap f (ToList lst))

type Eval (FMap f txt :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (FMap f txt :: Text -> Type) = Eval (FromSymbolList =<< (FMap f =<< ToSymbolList txt))

type Eval (Intercalate txt txts :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Intercalate txt txts :: Text -> Type) = Eval (FromList =<< (Intercalate '[txt] =<< FMap ToList txts))

type Eval (Intersperse s ('Text txt) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Intersperse s ('Text txt) :: Text -> Type) = Eval (FromSymbolList =<< Intersperse s (ToList txt))

type Eval (Snoc ('Text sym) s :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Snoc ('Text sym) s :: Text -> Type) = 'Text (AppendSymbol sym s)

type Eval (Take n ('Text lst) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Take n ('Text lst) :: Text -> Type) = Eval (FromSymbolList =<< Take n (ToList lst))

type Eval (TakeEnd n ('Text lst) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (TakeEnd n ('Text lst) :: Text -> Type) = Eval (FromSymbolList =<< ((Reverse :: [Symbol] -> [Symbol] -> Type) =<< ((Take n :: [Symbol] -> [Symbol] -> Type) =<< Reverse (ToList lst))))

type Eval (TakeWhile f ('Text lst) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (TakeWhile f ('Text lst) :: Text -> Type) = Eval (FromSymbolList =<< TakeWhile f (ToList lst))

type Eval (TakeWhileEnd f ('Text lst) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (TakeWhileEnd f ('Text lst) :: Text -> Type) = Eval (FromSymbolList =<< ((Reverse :: [Symbol] -> [Symbol] -> Type) =<< (TakeWhile f =<< Reverse (ToList lst))))

type Eval (Replace orig new txt :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Replace orig new txt :: Text -> Type) = Eval (Intercalate new =<< SplitOn orig txt)

type Eval (Init txt :: Maybe Text -> Type)

Defined in Fcf.Data.Text

type Eval (Init txt :: Maybe Text -> Type) = Eval (FMap FromList =<< ((Init :: [Text] -> Maybe [Text] -> Type) =<< ToList txt))

type Eval (Tail ('Text sym) :: Maybe Text -> Type)

Defined in Fcf.Data.Text

type Eval (Tail ('Text sym) :: Maybe Text -> Type) = Eval (FMap Singleton =<< Uncons sym)

type Eval (Uncons txt :: Maybe (Symbol, Text) -> Type)

Defined in Fcf.Data.Text

type Eval (Uncons txt :: Maybe (Symbol, Text) -> Type) = Eval (PairMaybeToMaybePair '(Eval (Head txt), Eval (Tail txt)))

type Eval (Unsnoc txt :: Maybe (Symbol, Text) -> Type)

Defined in Fcf.Data.Text

type Eval (Unsnoc txt :: Maybe (Symbol, Text) -> Type) = Eval (FMap (Second Reverse :: (Symbol, Text) -> (Symbol, Text) -> Type) =<< (Uncons =<< Reverse txt))

type Eval (Lines txt :: [Text] -> Type)

Defined in Fcf.Data.Text

type Eval (Lines txt :: [Text] -> Type) = Eval (Split IsNewLine txt)

type Eval (ToList txt :: [Text] -> Type)

Defined in Fcf.Data.Text

type Eval (ToList txt :: [Text] -> Type) = Eval (FMap Singleton =<< ToSymbolList txt)

type Eval (Words txt :: [Text] -> Type)

Defined in Fcf.Data.Text

type Eval (Words txt :: [Text] -> Type) = Eval (Split IsSpaceDelim txt)

type Eval (Split p ('Text txt) :: [Text] -> Type)

Defined in Fcf.Data.Text

type Eval (Split p ('Text txt) :: [Text] -> Type)

type Eval (SplitOn ('Text sep) ('Text txt) :: [Text] -> Type)

Defined in Fcf.Data.Text

type Eval (SplitOn ('Text sep) ('Text txt) :: [Text] -> Type)

Creation

data Empty :: Exp Text

Empty

Example

>>> :kind! (Eval Empty :: Text)
(Eval Empty :: Text) :: Text
= 'Text ""

See also the other examples in this module.

Instances

type Eval Empty

Defined in Fcf.Data.Text

type Eval Empty = 'Text ""

data Singleton :: Symbol -> Exp Text

Singleton

Example

>>> :kind! Eval (Singleton "a")
Eval (Singleton "a") :: Text
= 'Text "a"

Instances

type Eval (Singleton s :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Singleton s :: Text -> Type) = 'Text s

data FromList :: [Text] -> Exp Text

Instances

type Eval (FromList txt :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (FromList txt :: Text -> Type) = 'Text (ToSymbol2 @@ Eval (FMap ToSymbol txt))

data FromSymbolList :: [Symbol] -> Exp Text

Use FromList to construct a Text from type-level list.

Example

:kind! Eval (FromSymbolList '["h", "e", "l", "l", "u", "r", "e", "i"]) Eval (FromSymbolList '["h", "e", "l", "l", "u", "r", "e", "i"]) :: Text = 'Text "hellurei"

Instances

type Eval (FromSymbolList sym :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (FromSymbolList sym :: Text -> Type) = 'Text (ToSymbol2 @@ sym)

data ToList :: Text -> Exp [Text]

Split Text to single character Text list.

Example

>>> :kind! Eval (ToList =<< FromSymbolList '["a", "b"])
Eval (ToList =<< FromSymbolList '["a", "b"]) :: [Text]
= '[ 'Text "a", 'Text "b"]

Instances

type Eval (ToList txt :: [Text] -> Type)

Defined in Fcf.Data.Text

type Eval (ToList txt :: [Text] -> Type) = Eval (FMap Singleton =<< ToSymbolList txt)

data ToSymbol :: Text -> Exp Symbol

ToSymbol

Example

>>> :kind! Eval (ToSymbol =<< FromSymbolList '["w", "o", "r", "d"])
Eval (ToSymbol =<< FromSymbolList '["w", "o", "r", "d"]) :: Symbol
= "word"

Instances

type Eval (ToSymbol ('Text sym) :: Symbol -> Type)

Defined in Fcf.Data.Text

type Eval (ToSymbol ('Text sym) :: Symbol -> Type) = sym

data ToSymbolList :: Text -> Exp [Symbol]

Get the type-level list out of the Text.

Example

>>> :kind! Eval (ToSymbolList =<< FromSymbolList '["a", "b"])
Eval (ToSymbolList =<< FromSymbolList '["a", "b"]) :: [Symbol]
= '["a", "b"]

Instances

type Eval (ToSymbolList ('Text sym) :: [Symbol] -> Type)

Defined in Fcf.Data.Text

type Eval (ToSymbolList ('Text sym) :: [Symbol] -> Type) = ToListA @@ sym

Basic Interface

data Null :: Text -> Exp Bool

Null

Example

>>> :kind! Eval (Null ('Text "ab"))
Eval (Null ('Text "ab")) :: Bool
= 'False

>>> :kind! Eval (Null =<< Empty)
Eval (Null =<< Empty) :: Bool
= 'True

Instances

type Eval (Null txt :: Bool -> Type)

Defined in Fcf.Data.Text

type Eval (Null txt :: Bool -> Type) = Eval (If (Eval (Eval (Length txt) == 0)) (Pure 'True) (Pure 'False))

data Length :: Text -> Exp Nat

Length

Example

>>> :kind! Eval (Length =<< Singleton "ab")
Eval (Length =<< Singleton "ab") :: TL.Natural
= 2

Instances

type Eval (Length ('Text sym) :: Nat -> Type)

Defined in Fcf.Data.Text

type Eval (Length ('Text sym) :: Nat -> Type) = Eval (Length (ToList sym))

data Append :: Text -> Text -> Exp Text

Append two type-level texts.

Example

>>> :kind! Eval (Append ('Text "aa") ('Text "mu"))
Eval (Append ('Text "aa") ('Text "mu")) :: Text
= 'Text "aamu"

Instances

type Eval (Append ('Text s1) ('Text s2) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Append ('Text s1) ('Text s2) :: Text -> Type) = 'Text (AppendSymbol s1 s2)

data Cons :: Symbol -> Text -> Exp Text

Add a symbol to the beginning of a type-level text.

Example

>>> :kind! Eval (Cons "h" ('Text "aamu"))
Eval (Cons "h" ('Text "aamu")) :: Text
= 'Text "haamu"

Instances

type Eval (Cons s ('Text sym) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Cons s ('Text sym) :: Text -> Type) = 'Text (AppendSymbol s sym)

data Snoc :: Text -> Symbol -> Exp Text

Add a symbol to the end of a type-level text.

Example

>>> :kind! Eval (Snoc ('Text "aam") "u")
Eval (Snoc ('Text "aam") "u") :: Text
= 'Text "aamu"

Instances

type Eval (Snoc ('Text sym) s :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Snoc ('Text sym) s :: Text -> Type) = 'Text (AppendSymbol sym s)

data Uncons :: Text -> Exp (Maybe (Symbol, Text))

Get the first symbol from type-level text.

Example

>>> :kind! Eval (Uncons ('Text "haamu"))
Eval (Uncons ('Text "haamu")) :: Maybe (Symbol, Text)
= 'Just '("h", 'Text "aamu")

>>> :kind! Eval (Uncons ('Text ""))
Eval (Uncons ('Text "")) :: Maybe (Symbol, Text)
= 'Nothing

Instances

type Eval (Uncons txt :: Maybe (Symbol, Text) -> Type)

Defined in Fcf.Data.Text

type Eval (Uncons txt :: Maybe (Symbol, Text) -> Type) = Eval (PairMaybeToMaybePair '(Eval (Head txt), Eval (Tail txt)))

data Unsnoc :: Text -> Exp (Maybe (Symbol, Text))

Get the last symbol from type-level text.

Example

>>> :kind! Eval (Unsnoc ('Text "aamun"))
Eval (Unsnoc ('Text "aamun")) :: Maybe (Symbol, Text)
= 'Just '("n", 'Text "aamu")

>>> :kind! Eval (Unsnoc ('Text ""))
Eval (Unsnoc ('Text "")) :: Maybe (Symbol, Text)
= 'Nothing

Instances

type Eval (Unsnoc txt :: Maybe (Symbol, Text) -> Type)

Defined in Fcf.Data.Text

type Eval (Unsnoc txt :: Maybe (Symbol, Text) -> Type) = Eval (FMap (Second Reverse :: (Symbol, Text) -> (Symbol, Text) -> Type) =<< (Uncons =<< Reverse txt))

data Head :: Text -> Exp (Maybe Symbol)

Get the first symbol of type-level text.

Example

>>> :kind! Eval (Head ('Text "aamu"))
Eval (Head ('Text "aamu")) :: Maybe Symbol
= 'Just "a"

>>> :kind! Eval (Head ('Text ""))
Eval (Head ('Text "")) :: Maybe Symbol
= 'Nothing

Instances

type Eval (Head ('Text sym) :: Maybe Symbol -> Type)

Defined in Fcf.Data.Text

type Eval (Head ('Text sym) :: Maybe Symbol -> Type) = Eval (If (Eval (Eval (Length ('Text sym)) == 0)) (Pure ('Nothing :: Maybe Symbol)) (Pure ('Just (Head1 sym (CmpSymbol sym "\128")))))

data Tail :: Text -> Exp (Maybe Text)

Get the tail of a type-level text.

Example

>>> :kind! Eval (Tail ('Text "haamu"))
Eval (Tail ('Text "haamu")) :: Maybe Text
= 'Just ('Text "aamu")

>>> :kind! Eval (Tail ('Text ""))
Eval (Tail ('Text "")) :: Maybe Text
= 'Nothing

Instances

type Eval (Tail ('Text sym) :: Maybe Text -> Type)

Defined in Fcf.Data.Text

type Eval (Tail ('Text sym) :: Maybe Text -> Type) = Eval (FMap Singleton =<< Uncons sym)

data Init :: Text -> Exp (Maybe Text)

Take all except the last symbol from type-level text.

Example

>>> :kind! Eval (Init ('Text "aamun"))
Eval (Init ('Text "aamun")) :: Maybe Text
= 'Just ('Text "aamu")

>>> :kind! Eval (Init ('Text ""))
Eval (Init ('Text "")) :: Maybe Text
= 'Nothing

Instances

type Eval (Init txt :: Maybe Text -> Type)

Defined in Fcf.Data.Text

type Eval (Init txt :: Maybe Text -> Type) = Eval (FMap FromList =<< ((Init :: [Text] -> Maybe [Text] -> Type) =<< ToList txt))

data CompareLength :: Text -> Nat -> Exp Ordering

Compare the length of type-level text to given Nat and give the Ordering.

Example

>>> :kind! Eval (CompareLength ('Text "aamu") 3)
Eval (CompareLength ('Text "aamu") 3) :: Ordering
= 'GT

Instances

type Eval (CompareLength txt n :: Ordering -> Type)

Defined in Fcf.Data.Text

type Eval (CompareLength txt n :: Ordering -> Type) = CmpNat (Length @@ txt) n

Transformation

data FMap :: (Symbol -> Exp Symbol) -> Text -> Exp Text

FMap for type-level text.

Example

>>> :{
data IsIsymb :: Symbol -> Exp Bool
type instance Eval (IsIsymb s) = Eval ("i" S.== s)
data Isymb2e :: Symbol -> Exp Symbol
type instance Eval (Isymb2e s) = Eval
    (If (IsIsymb @@ s)
        (Pure "e")
        (Pure s)
    )
:}

>>> :kind! Eval (FMap Isymb2e ('Text "imu"))
Eval (FMap Isymb2e ('Text "imu")) :: Text
= 'Text "emu"

Instances

type Eval (FMap f txt :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (FMap f txt :: Text -> Type) = Eval (FromSymbolList =<< (FMap f =<< ToSymbolList txt))

data Intercalate :: Text -> [Text] -> Exp Text

Intercalate for type-level text.

Example

>>> :kind! Eval (Intercalate ('Text " & ") ('[ 'Text "aamu", 'Text "valo"]))
Eval (Intercalate ('Text " & ") ('[ 'Text "aamu", 'Text "valo"])) :: Text
= 'Text "aamu & valo"

Instances

type Eval (Intercalate txt txts :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Intercalate txt txts :: Text -> Type) = Eval (FromList =<< (Intercalate '[txt] =<< FMap ToList txts))

data Intersperse :: Symbol -> Text -> Exp Text

Intersperse for type-level text.

Example

>>> :kind! Eval (Intersperse "." ('Text "aamu"))
Eval (Intersperse "." ('Text "aamu")) :: Text
= 'Text "a.a.m.u"

Instances

type Eval (Intersperse s ('Text txt) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Intersperse s ('Text txt) :: Text -> Type) = Eval (FromSymbolList =<< Intersperse s (ToList txt))

data Reverse :: Text -> Exp Text

Reverse for type-level text.

Example

>>> :kind! Eval (Reverse ('Text "aamu"))
Eval (Reverse ('Text "aamu")) :: Text
= 'Text "umaa"

>>> :kind! Eval (Reverse =<< Reverse ('Text "aamu"))
Eval (Reverse =<< Reverse ('Text "aamu")) :: Text
= 'Text "aamu"

Instances

type Eval (Reverse txt :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Reverse txt :: Text -> Type) = Eval (FromList =<< ((Reverse :: [Text] -> [Text] -> Type) =<< ToList txt))

data Replace :: Text -> Text -> Text -> Exp Text

Replace for type-level text.

Example

>>> :kind! Eval (Replace ('Text "tu") ('Text "la") ('Text "tuututtaa"))
Eval (Replace ('Text "tu") ('Text "la") ('Text "tuututtaa")) :: Text
= 'Text "laulattaa"

Instances

type Eval (Replace orig new txt :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Replace orig new txt :: Text -> Type) = Eval (Intercalate new =<< SplitOn orig txt)

Special Folds

data Concat :: [Text] -> Exp Text

Concat for type-level text.

Example

>>> :kind! Eval (Concat '[ 'Text "la", 'Text "kana"])
Eval (Concat '[ 'Text "la", 'Text "kana"]) :: Text
= 'Text "lakana"

Instances

type Eval (Concat lst :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Concat lst :: Text -> Type) = 'Text (ToSymbol2 @@ Eval (FMap ToSymbol lst))

data FConcatMap :: (Symbol -> Exp Text) -> Text -> Exp Text

FConcatMap for type-level text.

Example

>>> :{
data IsIsymb :: Symbol -> Exp Bool
type instance Eval (IsIsymb s) = Eval ("i" S.== s)
data Isymb2aa :: Symbol -> Exp Text
type instance Eval (Isymb2aa s) = Eval
    (If (IsIsymb @@ s)
        (Pure ('Text "aa"))
        (Pure ('Text s))
    )
:}

>>> :kind! Eval (FConcatMap Isymb2aa ('Text "imu ih"))
Eval (FConcatMap Isymb2aa ('Text "imu ih")) :: Text
= 'Text "aamu aah"

Instances

type Eval (FConcatMap f ('Text lst) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (FConcatMap f ('Text lst) :: Text -> Type) = Eval (Concat =<< FMap f (ToList lst))

data Any :: (Symbol -> Exp Bool) -> Text -> Exp Bool

Any for type-level text.

Example

>>> :kind! Eval (Any S.IsDigit ('Text "aamu1"))
Eval (Any S.IsDigit ('Text "aamu1")) :: Bool
= 'True

>>> :kind! Eval (Any S.IsDigit ('Text "aamu"))
Eval (Any S.IsDigit ('Text "aamu")) :: Bool
= 'False

Instances

type Eval (Any f ('Text sym) :: Bool -> Type)

Defined in Fcf.Data.Text

type Eval (Any f ('Text sym) :: Bool -> Type) = Eval (Any f (ToList sym))

data All :: (Symbol -> Exp Bool) -> Text -> Exp Bool

All for type-level text.

Example

>>> :kind! Eval (All S.IsDigit ('Text "aamu1"))
Eval (All S.IsDigit ('Text "aamu1")) :: Bool
= 'False

>>> :kind! Eval (All S.IsDigit ('Text "321"))
Eval (All S.IsDigit ('Text "321")) :: Bool
= 'True

Instances

type Eval (All f ('Text lst) :: Bool -> Type)

Defined in Fcf.Data.Text

type Eval (All f ('Text lst) :: Bool -> Type) = Eval (All f (ToList lst))

Substrings

data Take :: Nat -> Text -> Exp Text

Take for type-level text.

Example

>>> :kind! Eval (Take 4 ('Text "aamun"))
Eval (Take 4 ('Text "aamun")) :: Text
= 'Text "aamu"

Instances

type Eval (Take n ('Text lst) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Take n ('Text lst) :: Text -> Type) = Eval (FromSymbolList =<< Take n (ToList lst))

data TakeEnd :: Nat -> Text -> Exp Text

TakeEnd for type-level text.

Example

>>> :kind! Eval (TakeEnd 4 ('Text "haamu"))
Eval (TakeEnd 4 ('Text "haamu")) :: Text
= 'Text "aamu"

Instances

type Eval (TakeEnd n ('Text lst) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (TakeEnd n ('Text lst) :: Text -> Type) = Eval (FromSymbolList =<< ((Reverse :: [Symbol] -> [Symbol] -> Type) =<< ((Take n :: [Symbol] -> [Symbol] -> Type) =<< Reverse (ToList lst))))

data Drop :: Nat -> Text -> Exp Text

Drop for type-level text.

Example

>>> :kind! Eval (Drop 2 ('Text "aamuna"))
Eval (Drop 2 ('Text "aamuna")) :: Text
= 'Text "muna"

Instances

type Eval (Drop n ('Text lst) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Drop n ('Text lst) :: Text -> Type) = Eval (FromSymbolList =<< Drop n (ToList lst))

data DropEnd :: Nat -> Text -> Exp Text

DropEnd for type-level text.

Example

>>> :kind! Eval (DropEnd 2 ('Text "aamuna"))
Eval (DropEnd 2 ('Text "aamuna")) :: Text
= 'Text "aamu"

Instances

type Eval (DropEnd n ('Text lst) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (DropEnd n ('Text lst) :: Text -> Type) = Eval (FromSymbolList =<< ((Reverse :: [Symbol] -> [Symbol] -> Type) =<< ((Drop n :: [Symbol] -> [Symbol] -> Type) =<< Reverse (ToList lst))))

data TakeWhile :: (Symbol -> Exp Bool) -> Text -> Exp Text

TakeWhile for type-level text.

Example

>>> :kind! Eval (TakeWhile (Not <=< S.IsDigit) ('Text "aamu12"))
Eval (TakeWhile (Not <=< S.IsDigit) ('Text "aamu12")) :: Text
= 'Text "aamu"

Instances

type Eval (TakeWhile f ('Text lst) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (TakeWhile f ('Text lst) :: Text -> Type) = Eval (FromSymbolList =<< TakeWhile f (ToList lst))

data TakeWhileEnd :: (Symbol -> Exp Bool) -> Text -> Exp Text

TakeWhileEnd for type-level text.

Example

>>> :kind! Eval (TakeWhileEnd (Not <=< S.IsDigit) ('Text "12aamu"))
Eval (TakeWhileEnd (Not <=< S.IsDigit) ('Text "12aamu")) :: Text
= 'Text "aamu"

Instances

type Eval (TakeWhileEnd f ('Text lst) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (TakeWhileEnd f ('Text lst) :: Text -> Type) = Eval (FromSymbolList =<< ((Reverse :: [Symbol] -> [Symbol] -> Type) =<< (TakeWhile f =<< Reverse (ToList lst))))

data DropWhile :: (Symbol -> Exp Bool) -> Text -> Exp Text

DropWhile for type-level text.

Example

>>> :kind! Eval (DropWhile S.IsDigit ('Text "12aamu"))
Eval (DropWhile S.IsDigit ('Text "12aamu")) :: Text
= 'Text "aamu"

Instances

type Eval (DropWhile f ('Text lst) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (DropWhile f ('Text lst) :: Text -> Type) = Eval (FromSymbolList =<< DropWhile f (ToList lst))

data DropWhileEnd :: (Symbol -> Exp Bool) -> Text -> Exp Text

DropWhileEnd for type-level text. === Example

>>> :kind! Eval (DropWhileEnd S.IsDigit ('Text "aamu12"))
Eval (DropWhileEnd S.IsDigit ('Text "aamu12")) :: Text
= 'Text "aamu"

Instances

type Eval (DropWhileEnd f ('Text lst) :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (DropWhileEnd f ('Text lst) :: Text -> Type) = Eval (FromSymbolList =<< ((Reverse :: [Symbol] -> [Symbol] -> Type) =<< (DropWhile f =<< Reverse (ToList lst))))

data DropAround :: (Symbol -> Exp Bool) -> Text -> Exp Text

DropAround for type-level text.

Example

>>> :kind! Eval (DropAround S.IsDigit ('Text "34aamu12"))
Eval (DropAround S.IsDigit ('Text "34aamu12")) :: Text
= 'Text "aamu"

Instances

type Eval (DropAround f txt :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (DropAround f txt :: Text -> Type) = Eval (DropWhile f =<< DropWhileEnd f txt)

data Strip :: Text -> Exp Text

Strip the space, newline and tab -symbols from the beginning and and of type-level text.

Example

>>> :kind! Eval (Strip ('Text "  aamu \n"))
Eval (Strip ('Text "  aamu \n")) :: Text
= 'Text "aamu"

Instances

type Eval (Strip txt :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Strip txt :: Text -> Type) = Eval (DropAround IsSpaceDelim txt)

Breaking etc

data SplitOn :: Text -> Text -> Exp [Text]

SplitOn for type-level text.

Example

>>> :kind! Eval (SplitOn ('Text "ab") ('Text "cdabfgabh"))
Eval (SplitOn ('Text "ab") ('Text "cdabfgabh")) :: [Text]
= '[ 'Text "cd", 'Text "fg", 'Text "h"]

Instances

type Eval (SplitOn ('Text sep) ('Text txt) :: [Text] -> Type)

Defined in Fcf.Data.Text

type Eval (SplitOn ('Text sep) ('Text txt) :: [Text] -> Type)

data Split :: (Symbol -> Exp Bool) -> Text -> Exp [Text]

Split for type-level text.

Example

>>> :kind! Eval (Split S.IsSpace (Eval (Singleton "cd bf abh")))
Eval (Split S.IsSpace (Eval (Singleton "cd bf abh"))) :: [Text]
= '[ 'Text "cd", 'Text "bf", 'Text "abh"]

Instances

type Eval (Split p ('Text txt) :: [Text] -> Type)

Defined in Fcf.Data.Text

type Eval (Split p ('Text txt) :: [Text] -> Type)

data Lines :: Text -> Exp [Text]

Lines for type-level text.

Example

>>> :kind! Eval (Lines =<< Singleton "ok\nhmm\nab")
Eval (Lines =<< Singleton "ok\nhmm\nab") :: [Text]
= '[ 'Text "ok", 'Text "hmm", 'Text "ab"]

Instances

type Eval (Lines txt :: [Text] -> Type)

Defined in Fcf.Data.Text

type Eval (Lines txt :: [Text] -> Type) = Eval (Split IsNewLine txt)

data Words :: Text -> Exp [Text]

Words for type-level text.

Example

>>> :kind! Eval (Words =<< Singleton "ok hmm\nab")
Eval (Words =<< Singleton "ok hmm\nab") :: [Text]
= '[ 'Text "ok", 'Text "hmm", 'Text "ab"]

Instances

type Eval (Words txt :: [Text] -> Type)

Defined in Fcf.Data.Text

type Eval (Words txt :: [Text] -> Type) = Eval (Split IsSpaceDelim txt)

data Unlines :: [Text] -> Exp Text

Unlines for type-level text. This adds a newline to each Text and then concats them.

Example

>>> :kind! Eval (Unlines '[ 'Text "ok", 'Text "hmm", 'Text "ab"])
Eval (Unlines '[ 'Text "ok", 'Text "hmm", 'Text "ab"]) :: Text
= 'Text "ok\nhmm\nab\n"

Instances

type Eval (Unlines txts :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Unlines txts :: Text -> Type) = Eval (Concat =<< FMap (Flip Append (Singleton @@ "\n")) txts)

data Unwords :: [Text] -> Exp Text

Unwords for type-level text. This uses Intercalate to add space-symbol between the given texts.

Example

>>> :kind! Eval (Unwords '[ 'Text "ok", 'Text "hmm", 'Text "ab"])
Eval (Unwords '[ 'Text "ok", 'Text "hmm", 'Text "ab"]) :: Text
= 'Text "ok hmm ab"

Instances

type Eval (Unwords txts :: Text -> Type)

Defined in Fcf.Data.Text

type Eval (Unwords txts :: Text -> Type) = Eval (Intercalate ('Text " ") txts)

Predicates

data IsPrefixOf :: Text -> Text -> Exp Bool

IsPrefixOf for type-level text.

Example

>>> :kind! Eval (IsPrefixOf ('Text "aa") ('Text "aamiainen"))
Eval (IsPrefixOf ('Text "aa") ('Text "aamiainen")) :: Bool
= 'True

Instances

type Eval (IsPrefixOf ('Text l1) ('Text l2) :: Bool -> Type)

Defined in Fcf.Data.Text

type Eval (IsPrefixOf ('Text l1) ('Text l2) :: Bool -> Type) = Eval (IsPrefixOf (ToList l1) (ToList l2))

data IsSuffixOf :: Text -> Text -> Exp Bool

IsSuffixOf for type-level text.

Example

>>> :kind! Eval (IsSuffixOf ('Text "nen") ('Text "aamiainen"))
Eval (IsSuffixOf ('Text "nen") ('Text "aamiainen")) :: Bool
= 'True

Instances

type Eval (IsSuffixOf ('Text l1) ('Text l2) :: Bool -> Type)

Defined in Fcf.Data.Text

type Eval (IsSuffixOf ('Text l1) ('Text l2) :: Bool -> Type) = Eval (IsSuffixOf (ToList l1) (ToList l2))

data IsInfixOf :: Text -> Text -> Exp Bool

IsInfixOf for type-level text.

Example

>>> :kind! Eval (IsInfixOf ('Text "mia") ('Text "aamiainen"))
Eval (IsInfixOf ('Text "mia") ('Text "aamiainen")) :: Bool
= 'True

Instances

type Eval (IsInfixOf ('Text l1) ('Text l2) :: Bool -> Type)

Defined in Fcf.Data.Text

type Eval (IsInfixOf ('Text l1) ('Text l2) :: Bool -> Type) = Eval (IsInfixOf (ToList l1) (ToList l2))