aws-sdk-text-converter- The text converter for aws-sdk.

Safe HaskellNone




failText :: Monad m => Text -> m a Source

data IPv4 :: *

The abstract data type to express an IPv4 address. To create this, use toIPv4. Or use read "" :: IPv4, for example. Also, "" can be used as literal with OverloadedStrings.

>>> read "" :: IPv4

data AddrRange a :: * -> *

The Addr range consists of an address, a contiguous mask, and mask length. The contiguous mask and the mask length are essentially same information but contained for pre calculation.

To create this, use makeAddrRange or read "" :: AddrRange IPv4. Also, "" can be used as literal with OverloadedStrings.

>>> read "" :: AddrRange IPv4
>>> read "2001:db8:00:00:00:00:00:01/48" :: AddrRange IPv6


Eq a => Eq (AddrRange a) 
Ord a => Ord (AddrRange a) 
Read (AddrRange IPv4) 
Read (AddrRange IPv6) 
Show a => Show (AddrRange a) 
IsString (AddrRange IPv4) 
IsString (AddrRange IPv6) 
Generic (AddrRange a) 
ToText (AddrRange IPv4) 
FromText (AddrRange IPv4) 
type Rep (AddrRange a) = D1 D1AddrRange (C1 C1_0AddrRange ((:*:) (S1 S1_0_0AddrRange (Rec0 a)) ((:*:) (S1 S1_0_1AddrRange (Rec0 a)) (S1 S1_0_2AddrRange (Rec0 Int))))) 

data Text :: *

A space efficient, packed, unboxed Unicode text type.


IsList Text 
Eq Text 
Data Text

This instance preserves data abstraction at the cost of inefficiency. We omit reflection services for the sake of data abstraction.

This instance was created by copying the updated behavior of Data.Set.Set and Data.Map.Map. If you feel a mistake has been made, please feel free to submit improvements.

The original discussion is archived here: could we get a Data instance for Data.Text.Text?

The followup discussion that changed the behavior of Set and Map is archived here: Proposal: Allow gunfold for Data.Map, ...

Ord Text 
Read Text 
Show Text 
IsString Text 
Monoid Text 
Binary Text 
NFData Text 
Strptime_ Text 
Strptime Text 
ToText Text 
FromText Text 
Typeable * Text 
type Item Text = Char 

data UTCTime :: *

This is the simplest representation of UTC. It consists of the day number, and a time offset from midnight. Note that if a day has a leap second added to it, it will have 86401 seconds.