Fcf.Data.Text

Fcf.Data.Text

We mimick Data.Text but on type level. The internal representation is based on type level lists.

Documentation

data 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 (Unwords txts :: Text -> Type)

Defined in Fcf.Data.Text

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

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 (Strip txt :: Text -> Type)

Defined in Fcf.Data.Text

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

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 (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 (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 (Singleton s :: Text -> Type)

Defined in Fcf.Data.Text

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

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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (Words txt :: [Text] -> Type)

Defined in Fcf.Data.Text

type Eval (Words txt :: [Text] -> Type) = Eval (Split IsSpaceDelim 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 (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 (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 (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 (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") :: Nat
= 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))