module Hydra.Impl.Haskell.Dsl.Lib.Strings where

import Hydra.Phantoms
import qualified Hydra.Impl.Haskell.Dsl.Terms as Terms
import Hydra.Impl.Haskell.Sources.Libraries


cat :: Datum ([String] -> String)
cat :: Datum ([String] -> String)
cat = forall a. Term Meta -> Datum a
Datum forall a b. (a -> b) -> a -> b
$ forall m. Name -> Term m
Terms.primitive Name
_strings_cat

length :: Datum (String -> Int)
length :: Datum (String -> Int)
length = forall a. Term Meta -> Datum a
Datum forall a b. (a -> b) -> a -> b
$ forall m. Name -> Term m
Terms.primitive Name
_strings_length

splitOn :: Datum (String -> String -> [String])
splitOn :: Datum (String -> String -> [String])
splitOn = forall a. Term Meta -> Datum a
Datum forall a b. (a -> b) -> a -> b
$ forall m. Name -> Term m
Terms.primitive Name
_strings_splitOn

toLower :: Datum (String -> String)
toLower :: Datum (String -> String)
toLower = forall a. Term Meta -> Datum a
Datum forall a b. (a -> b) -> a -> b
$ forall m. Name -> Term m
Terms.primitive Name
_strings_toLower

toUpper :: Datum (String -> String)
toUpper :: Datum (String -> String)
toUpper = forall a. Term Meta -> Datum a
Datum forall a b. (a -> b) -> a -> b
$ forall m. Name -> Term m
Terms.primitive Name
_strings_toUpper