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 empty, mzero, 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, Monad m) => TaggedValue -> m a

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

type Expected = [Label]

type Label = String

vecGet :: FromEDN a => Int -> EDNVec -> Parser a

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

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

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

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