Data.EDN.AST.Types.Value

Documentation

type TaggedValue = Tagged Text Value

data Value

Constructors

Nil

Boolean !Bool

String !Text

Character !Char

Symbol !Text !Text

Keyword !Text

Integer !Int

Floating !Double

List !EDNList

Vec !EDNVec

Map !EDNMap

Set !EDNSet

Instances

Eq Value

Defined in Data.EDN.AST.Types.Value

Methods

(==) :: Value -> Value -> Bool

(/=) :: Value -> Value -> Bool

Data Value

Defined in Data.EDN.AST.Types.Value

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Value -> c Value

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Value

toConstr :: Value -> Constr

dataTypeOf :: Value -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Value)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Value)

gmapT :: (forall b. Data b => b -> b) -> Value -> Value

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r

gmapQ :: (forall d. Data d => d -> u) -> Value -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Value -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Value -> m Value

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value

Ord Value

Defined in Data.EDN.AST.Types.Value

Methods

compare :: Value -> Value -> Ordering

(<) :: Value -> Value -> Bool

(<=) :: Value -> Value -> Bool

(>) :: Value -> Value -> Bool

(>=) :: Value -> Value -> Bool

max :: Value -> Value -> Value

min :: Value -> Value -> Value

Show Value

Defined in Data.EDN.AST.Types.Value

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

Lift Value

Defined in Data.EDN.QQ

Methods

lift :: Value -> Q Exp

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

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

type EDNList = [TaggedValue]

type EDNVec = Vector TaggedValue

type EDNMap = Map TaggedValue TaggedValue

type EDNSet = Set TaggedValue

mkList :: Foldable f => f TaggedValue -> Value

mkVec :: Foldable f => f TaggedValue -> Value

mkMap :: Foldable f => f (TaggedValue, TaggedValue) -> Value

mkSet :: Foldable f => f TaggedValue -> Value