Safe Haskell	Safe
Language	Haskell2010

Data.TypedEncoding.Common.Class.Util

Contents

Symbol List
Display
Other

Description

This module should be merged with Data.TypedEncoding.Common.Util.TypeLits

Since both provide type level helpers

Synopsis

class SymbolList (xs :: [Symbol]) where
- symbolVals :: [String]
symbolVals_ :: forall xs. SymbolList xs => Proxy xs -> [String]
class Displ x where
- displ :: x -> String
type family Append (xs :: [k]) (ys :: [k]) :: [k] where ...
class HasA a c where
- has :: c -> a

Documentation

>>> :set -XScopedTypeVariables -XTypeApplications -XAllowAmbiguousTypes -XDataKinds

Symbol List

class SymbolList (xs :: [Symbol]) where Source #

Since: 0.2.0.0

Methods

symbolVals :: [String] Source #

Instances

SymbolList ([] :: [Symbol]) Source #
Instance details Defined in Data.TypedEncoding.Common.Class.Util Methods symbolVals :: [String] Source #
(SymbolList xs, KnownSymbol x) => SymbolList (x ': xs) Source #	`>>>` `symbolVals @ '["FIRST", "SECOND"]`["FIRST","SECOND"]
Instance details Defined in Data.TypedEncoding.Common.Class.Util Methods symbolVals :: [String] Source #

symbolVals_ :: forall xs. SymbolList xs => Proxy xs -> [String] Source #

Display

class Displ x where Source #

Human friendly version of Show

Since: 0.2.0.0

Methods

displ :: x -> String Source #

Instances

Displ String Source #
Instance details Defined in Data.TypedEncoding.Common.Class.Util Methods displ :: String -> String Source #
Displ ByteString Source #
Instance details Defined in Data.TypedEncoding.Common.Class.Util Methods displ :: ByteString -> String Source #
Displ ByteString Source #
Instance details Defined in Data.TypedEncoding.Common.Class.Util Methods displ :: ByteString -> String Source #
Displ Text Source #
Instance details Defined in Data.TypedEncoding.Common.Class.Util Methods displ :: Text -> String Source #
Displ Text Source #
Instance details Defined in Data.TypedEncoding.Common.Class.Util Methods displ :: Text -> String Source #
Displ [EncAnn] Source #
Instance details Defined in Data.TypedEncoding.Common.Class.Util Methods displ :: [EncAnn] -> String Source #
Displ a => Displ (SimplifiedEmailF a) Source #	Provides easy to read encoding information
Instance details Defined in Examples.TypedEncoding.ToEncString Methods displ :: SimplifiedEmailF a -> String Source #
Displ a => Displ (IpV4F a) Source #	Provides easy to read encoding information
Instance details Defined in Examples.TypedEncoding.ToEncString Methods displ :: IpV4F a -> String Source #
SymbolList xs => Displ (Proxy xs) Source #	`>>>` `displ (Proxy :: Proxy ["FIRST", "SECOND"])`"[FIRST,SECOND]"
Instance details Defined in Data.TypedEncoding.Common.Class.Util Methods displ :: Proxy xs -> String Source #
(Show c, Displ str) => Displ (UncheckedEnc c str) Source #	`>>>` `displ $ MkUncheckedEnc ["TEST"] () ("hello" :: T.Text)`"MkUncheckedEnc [TEST] () (Text hello)"
Instance details Defined in Data.TypedEncoding.Common.Types.UncheckedEnc Methods displ :: UncheckedEnc c str -> String Source #
(Show c, Displ str) => Displ (CheckedEnc c str) Source #	`>>>` `displ $ unsafeCheckedEnc ["TEST"] () ("hello" :: T.Text)`"UnsafeMkCheckedEnc [TEST] () (Text hello)"
Instance details Defined in Data.TypedEncoding.Common.Types.CheckedEnc Methods displ :: CheckedEnc c str -> String Source #
(Show c, Displ str) => Displ (SomeEnc c str) Source #	`>>>` `let enctest = unsafeSetPayload () "hello" :: Enc '["TEST"] () T.Text``>>>` `displ $ MkSomeEnc enctest`"Some (Enc '[TEST] () (Text hello))"
Instance details Defined in Data.TypedEncoding.Common.Types.SomeEnc Methods displ :: SomeEnc c str -> String Source #
(SymbolList xs, Show c, Displ str) => Displ (Enc xs c str) Source #	`>>>` `let disptest = UnsafeMkEnc Proxy () "hello" :: Enc '["TEST"] () T.Text``>>>` `displ disptest`"Enc '[TEST] () (Text hello)"
Instance details Defined in Data.TypedEncoding.Common.Types.Enc Methods displ :: Enc xs c str -> String Source #

Other

type family Append (xs :: [k]) (ys :: [k]) :: [k] where ... Source #

Type level list append

Since: 0.1.0.0

Equations

Append '[] xs = xs
Append (y ': ys) xs = y ': Append ys xs

class HasA a c where Source #

Polymorphic data payloads used to encode/decode

This class is intended for example use only and will be moved to Example modules.

Use your favorite polymorphic records / ad-hock product polymorphism library.

Since: 0.1.0.0

Methods

has :: c -> a Source #

Instances

HasA () c Source #
Instance details Defined in Data.TypedEncoding.Common.Class.Util Methods has :: c -> () Source #
HasA SizeLimit Config Source #
Instance details Defined in Examples.TypedEncoding.Overview Methods has :: Config -> SizeLimit Source #