Data.EDN.Class

Documentation

class ToEDN a where

A type that can be converted to EDN AST.

Minimal complete definition

toEDN | toEDNv

Methods

toEDN :: a -> TaggedValue

toEDNv :: a -> Value

Instances

ToEDN Bool

Defined in Data.EDN.Class

Methods

toEDN :: Bool -> TaggedValue

toEDNv :: Bool -> Value

ToEDN Char

Defined in Data.EDN.Class

Methods

toEDN :: Char -> TaggedValue

toEDNv :: Char -> Value

ToEDN Double

Defined in Data.EDN.Class

Methods

toEDN :: Double -> TaggedValue

toEDNv :: Double -> Value

ToEDN Int

Defined in Data.EDN.Class

Methods

toEDN :: Int -> TaggedValue

toEDNv :: Int -> Value

ToEDN ()

Defined in Data.EDN.Class

Methods

toEDN :: () -> TaggedValue

toEDNv :: () -> Value

ToEDN Void

Defined in Data.EDN.Class

Methods

toEDN :: Void -> TaggedValue

toEDNv :: Void -> Value

ToEDN Text

Defined in Data.EDN.Class

Methods

toEDN :: Text -> TaggedValue

toEDNv :: Text -> Value

ToEDN Text

Defined in Data.EDN.Class

Methods

toEDN :: Text -> TaggedValue

toEDNv :: Text -> Value

ToEDN UTCTime

Defined in Data.EDN.Class

Methods

toEDN :: UTCTime -> TaggedValue

toEDNv :: UTCTime -> Value

ToEDN UUID

Defined in Data.EDN.Class

Methods

toEDN :: UUID -> TaggedValue

toEDNv :: UUID -> Value

ToEDN Value

Defined in Data.EDN.Class

Methods

toEDN :: Value -> TaggedValue

toEDNv :: Value -> Value

ToEDN TaggedValue

Defined in Data.EDN.Class

Methods

toEDN :: TaggedValue -> TaggedValue

toEDNv :: TaggedValue -> Value

ToEDN a => ToEDN [a]

Defined in Data.EDN.Class

Methods

toEDN :: [a] -> TaggedValue

toEDNv :: [a] -> Value

ToEDN a => ToEDN (Maybe a)

Defined in Data.EDN.Class

Methods

toEDN :: Maybe a -> TaggedValue

toEDNv :: Maybe a -> Value

ToEDN a => ToEDN (Set a)

Defined in Data.EDN.Class

Methods

toEDN :: Set a -> TaggedValue

toEDNv :: Set a -> Value

ToEDN a => ToEDN (Vector a)

Defined in Data.EDN.Class

Methods

toEDN :: Vector a -> TaggedValue

toEDNv :: Vector a -> Value

(ToEDN a, ToEDN b) => ToEDN (a, b)

Defined in Data.EDN.Class

Methods

toEDN :: (a, b) -> TaggedValue

toEDNv :: (a, b) -> Value

(ToEDN k, ToEDN v) => ToEDN (Map k v)

Defined in Data.EDN.Class

Methods

toEDN :: Map k v -> TaggedValue

toEDNv :: Map k v -> Value

(ToEDN a, ToEDN b, ToEDN c) => ToEDN (a, b, c)

Defined in Data.EDN.Class

Methods

toEDN :: (a, b, c) -> TaggedValue

toEDNv :: (a, b, c) -> Value

(ToEDN a, ToEDN b, ToEDN c, ToEDN d) => ToEDN (a, b, c, d)

Defined in Data.EDN.Class

Methods

toEDN :: (a, b, c, d) -> TaggedValue

toEDNv :: (a, b, c, d) -> Value

toEDNtagged :: ToEDN a => Text -> Text -> a -> TaggedValue

class FromEDN a where

A type that can be converted from EDN, with a possibility of failure.

When writing an instance, use unexpected or fail to make a conversion fail, e.g. if an Map is missing a required key, or the value is of the wrong type.

Minimal complete definition

parseEDN | parseEDNv

Methods

parseEDN :: TaggedValue -> Parser a

parseEDNv :: Value -> Parser a

Instances

FromEDN Bool

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser Bool

parseEDNv :: Value -> Parser Bool

FromEDN Char

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser Char

parseEDNv :: Value -> Parser Char

FromEDN Double

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser Double

parseEDNv :: Value -> Parser Double

FromEDN Int

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser Int

parseEDNv :: Value -> Parser Int

FromEDN ()

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser ()

parseEDNv :: Value -> Parser ()

FromEDN Void

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser Void

parseEDNv :: Value -> Parser Void

FromEDN Text

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser Text

parseEDNv :: Value -> Parser Text

FromEDN Text

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser Text

parseEDNv :: Value -> Parser Text

FromEDN UTCTime

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser UTCTime

parseEDNv :: Value -> Parser UTCTime

FromEDN UUID

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser UUID

parseEDNv :: Value -> Parser UUID

FromEDN Value

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser Value

parseEDNv :: Value -> Parser Value

FromEDN TaggedValue

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser TaggedValue

parseEDNv :: Value -> Parser TaggedValue

FromEDN a => FromEDN [a]

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser [a]

parseEDNv :: Value -> Parser [a]

FromEDN a => FromEDN (Maybe a)

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser (Maybe a)

parseEDNv :: Value -> Parser (Maybe a)

(FromEDN a, Ord a) => FromEDN (Set a)

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser (Set a)

parseEDNv :: Value -> Parser (Set a)

FromEDN a => FromEDN (Vector a)

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser (Vector a)

parseEDNv :: Value -> Parser (Vector a)

(FromEDN a, FromEDN b) => FromEDN (a, b)

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser (a, b)

parseEDNv :: Value -> Parser (a, b)

(FromEDN k, FromEDN v, Ord k) => FromEDN (Map k v)

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser (Map k v)

parseEDNv :: Value -> Parser (Map k v)

(FromEDN a, FromEDN b, FromEDN c) => FromEDN (a, b, c)

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser (a, b, c)

parseEDNv :: Value -> Parser (a, b, c)

(FromEDN a, FromEDN b, FromEDN c, FromEDN d) => FromEDN (a, b, c, d)

Defined in Data.EDN.Class

Methods

parseEDN :: TaggedValue -> Parser (a, b, c, d)

parseEDNv :: Value -> Parser (a, b, c, d)

fromEDN :: FromEDN a => TaggedValue -> Either String a

Apply appropriate parsers for a value to decode AST.

withTagged :: Text -> Text -> (Value -> Parser a) -> TaggedValue -> Parser a

withNoTag :: (Value -> Parser a) -> TaggedValue -> Parser a

withNil :: Parser a -> Value -> Parser a

withBoolean :: (Bool -> Parser a) -> Value -> Parser a

withString :: (Text -> Parser a) -> Value -> Parser a

withCharacter :: (Char -> Parser a) -> Value -> Parser a

withSymbol :: (Text -> Text -> Parser a) -> Value -> Parser a

withKeyword :: (Text -> Parser a) -> Value -> Parser a

withTextual :: (Text -> Parser a) -> Value -> Parser a

withInteger :: (Int -> Parser a) -> Value -> Parser a

withIntegral :: Integral i => (i -> Parser a) -> Value -> Parser a

withFloating :: (Double -> Parser a) -> Value -> Parser a

withFractional :: Fractional f => (f -> Parser a) -> Value -> Parser a

withList :: (EDNList -> Parser a) -> Value -> Parser a

withVec :: (EDNVec -> Parser a) -> Value -> Parser a

withMap :: (EDNMap -> Parser a) -> Value -> Parser a

withSet :: (EDNSet -> Parser a) -> Value -> Parser a

unexpected :: Value -> Label -> Parser a

Report an decoding error due to unexpected AST node given. The Parser combines and reports alternatives expected.

type Expected = [Label]

Megaparsec-style collection of elements expected by combined parser alternatives.

type Label = String

Single element expected by a parser. String because MonadFail method.

vecGet

Arguments

:: FromEDN a

=> Int

Element index

-> EDNVec

Vector of EDN values

-> Parser a

Get ix-th element of EDNVec or fail with appropriate message.

mapGetP

Arguments

:: TaggedValue

Map key

-> (TaggedValue -> Parser a)

Parser to apply to a value

-> EDNMap

Map with EDN keys and values

-> Parser a

Get a value from EDNMap and apply a parser to it

mapGetKeyword :: FromEDN a => Text -> EDNMap -> Parser a

Get a value from EDNMap for a Keyword key.

mapGetString :: FromEDN a => Text -> EDNMap -> Parser a

Get a value from EDNMap for a String key.

mapGetSymbol :: FromEDN a => Text -> EDNMap -> Parser a

Get a value from EDNMap for a Symbol (empty namespace) key.

mapGetSymbolNS

Arguments

:: FromEDN a

=> Text

Symbol namespace

-> Text

Symbol name

-> EDNMap

-> Parser a

Get a value from EDNMap for a Symbol (empty namespace) key.