Copyright	Gautier DI FOLCO
License	BSD2
Maintainer	Gautier DI FOLCO <gautier.difolco@gmail.com>
Stability	Unstable
Portability	GHC
Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Sum.Pure

Contents

Base type
from/to Text converters
Transformations

Description

Derive fromText/toText-like for pure sum types.

Synopsis

newtype PureSumWith transformation a = PureSumWith {
- unPureSumWith :: a
}
type PureSum = PureSumWith IdTransformation
class ToSumText a where
- toSumText :: a -> Text
class FromSumText a where
- fromSumText :: Text -> Maybe a
class Transformation a where
- transform :: Proxy a -> Text -> Text
data f <<< g
data DropPrefix (s :: Symbol)
data CamelCase
data PascalCase
data SnakeCase
data SpinalCase
data TitleCase
data TrainCase

Base type

newtype PureSumWith transformation a Source #

Wrapper for derivation. transformation is a Transformation applied during derivations

Constructors

PureSumWith
Fields unPureSumWith :: a

Instances

Instances details

Show a => Show (PureSumWith transformation a) Source #
Instance details Defined in Data.Sum.Pure Methods showsPrec :: Int -> PureSumWith transformation a -> ShowS # show :: PureSumWith transformation a -> String # showList :: [PureSumWith transformation a] -> ShowS #
Eq a => Eq (PureSumWith transformation a) Source #
Instance details Defined in Data.Sum.Pure Methods (==) :: PureSumWith transformation a -> PureSumWith transformation a -> Bool # (/=) :: PureSumWith transformation a -> PureSumWith transformation a -> Bool #
Ord a => Ord (PureSumWith transformation a) Source #
Instance details Defined in Data.Sum.Pure Methods compare :: PureSumWith transformation a -> PureSumWith transformation a -> Ordering # (<) :: PureSumWith transformation a -> PureSumWith transformation a -> Bool # (<=) :: PureSumWith transformation a -> PureSumWith transformation a -> Bool # (>) :: PureSumWith transformation a -> PureSumWith transformation a -> Bool # (>=) :: PureSumWith transformation a -> PureSumWith transformation a -> Bool # max :: PureSumWith transformation a -> PureSumWith transformation a -> PureSumWith transformation a # min :: PureSumWith transformation a -> PureSumWith transformation a -> PureSumWith transformation a #
(Transformation transformation, Generic a, GFromSumText (Rep a)) => FromSumText (PureSumWith transformation a) Source #
Instance details Defined in Data.Sum.Pure Methods fromSumText :: Text -> Maybe (PureSumWith transformation a) Source #
(Transformation transformation, Generic a, GToSumText (Rep a)) => ToSumText (PureSumWith transformation a) Source #
Instance details Defined in Data.Sum.Pure Methods toSumText :: PureSumWith transformation a -> Text Source #

type PureSum = PureSumWith IdTransformation Source #

Basic sum derivation

from/to Text converters

class ToSumText a where Source #

Methods

toSumText :: a -> Text Source #

Instances

Instances details

(Transformation transformation, Generic a, GToSumText (Rep a)) => ToSumText (PureSumWith transformation a) Source #
Instance details Defined in Data.Sum.Pure Methods toSumText :: PureSumWith transformation a -> Text Source #

class FromSumText a where Source #

Methods

fromSumText :: Text -> Maybe a Source #

Instances

Instances details

(Transformation transformation, Generic a, GFromSumText (Rep a)) => FromSumText (PureSumWith transformation a) Source #
Instance details Defined in Data.Sum.Pure Methods fromSumText :: Text -> Maybe (PureSumWith transformation a) Source #

Transformations

class Transformation a where Source #

Convert a type into a Text -> Text function

Methods

transform :: Proxy a -> Text -> Text Source #

Instances

Instances details

Transformation CamelCase Source #
Instance details Defined in Data.Sum.Pure Methods transform :: Proxy CamelCase -> Text -> Text Source #
Transformation PascalCase Source #
Instance details Defined in Data.Sum.Pure Methods transform :: Proxy PascalCase -> Text -> Text Source #
Transformation SnakeCase Source #
Instance details Defined in Data.Sum.Pure Methods transform :: Proxy SnakeCase -> Text -> Text Source #
Transformation SpinalCase Source #
Instance details Defined in Data.Sum.Pure Methods transform :: Proxy SpinalCase -> Text -> Text Source #
Transformation TitleCase Source #
Instance details Defined in Data.Sum.Pure Methods transform :: Proxy TitleCase -> Text -> Text Source #
Transformation TrainCase Source #
Instance details Defined in Data.Sum.Pure Methods transform :: Proxy TrainCase -> Text -> Text Source #
KnownSymbol s => Transformation (DropPrefix s) Source #
Instance details Defined in Data.Sum.Pure Methods transform :: Proxy (DropPrefix s) -> Text -> Text Source #
(Transformation f, Transformation g) => Transformation (f <<< g) Source #
Instance details Defined in Data.Sum.Pure Methods transform :: Proxy (f <<< g) -> Text -> Text Source #

data f <<< g Source #

Compose two transformations (e.g. f << g is equivalent to f (g x))

Instances

Instances details

(Transformation f, Transformation g) => Transformation (f <<< g) Source #
Instance details Defined in Data.Sum.Pure Methods transform :: Proxy (f <<< g) -> Text -> Text Source #

data DropPrefix (s :: Symbol) Source #

DropPrefix prefix (e.g. DropPrefix A on ACase gives Case)

Instances

Instances details

KnownSymbol s => Transformation (DropPrefix s) Source #
Instance details Defined in Data.Sum.Pure Methods transform :: Proxy (DropPrefix s) -> Text -> Text Source #

data CamelCase Source #

Change case (e.g. "camelCasedPhrase")

Instances

Instances details

Transformation CamelCase Source #
Instance details Defined in Data.Sum.Pure Methods transform :: Proxy CamelCase -> Text -> Text Source #

data PascalCase Source #

Change case (e.g. PascalCasedPhrase)

Instances

Instances details

Transformation PascalCase Source #
Instance details Defined in Data.Sum.Pure Methods transform :: Proxy PascalCase -> Text -> Text Source #

data SnakeCase Source #

Change case (e.g. "snake_cased_phrase")

Instances

Instances details

Transformation SnakeCase Source #
Instance details Defined in Data.Sum.Pure Methods transform :: Proxy SnakeCase -> Text -> Text Source #

data SpinalCase Source #

Change case (e.g. "spinal-cased-phrase")

Instances

Instances details

Transformation SpinalCase Source #
Instance details Defined in Data.Sum.Pure Methods transform :: Proxy SpinalCase -> Text -> Text Source #

data TitleCase Source #

Change case (e.g. "Title Cased Phrase")

Instances

Instances details

Transformation TitleCase Source #
Instance details Defined in Data.Sum.Pure Methods transform :: Proxy TitleCase -> Text -> Text Source #

data TrainCase Source #

Change case (e.g. "Train-Cased-Phrase")

Instances

Instances details

Transformation TrainCase Source #
Instance details Defined in Data.Sum.Pure Methods transform :: Proxy TrainCase -> Text -> Text Source #