Data.Json.Extended

type EJson = Mu EJsonF

null :: forall t. Corecursive t EJsonF => t

boolean :: forall t. Corecursive t EJsonF => Boolean -> t

integer :: forall t. Corecursive t EJsonF => HugeInt -> t

decimal :: forall t. Corecursive t EJsonF => HugeNum -> t

number :: forall t. Corecursive t EJsonF => Either HugeInt HugeNum -> t

string :: forall t. Corecursive t EJsonF => String -> t

map :: forall t. Corecursive t EJsonF => Map t t -> t

array :: forall t. Corecursive t EJsonF => Array t -> t

renderEJson :: forall t. Recursive t EJsonF => t -> String

parseEJson :: forall m. Monad m => ParserT String m EJson

arbitraryEJsonOfSize :: forall t m. MonadGen m => MonadRec m => Corecursive t EJsonF => Int -> m t

getType :: forall t. Recursive t EJsonF => t -> EJsonType

_Null :: forall t. Corecursive t EJsonF => Recursive t EJsonF => Prism' t Unit

_String :: forall t. Corecursive t EJsonF => Recursive t EJsonF => Prism' t String

_Boolean :: forall t. Corecursive t EJsonF => Recursive t EJsonF => Prism' t Boolean

_Integer :: forall t. Corecursive t EJsonF => Recursive t EJsonF => Prism' t HugeInt

_Decimal :: forall t. Corecursive t EJsonF => Recursive t EJsonF => Prism' t HugeNum

_Number :: forall t. Corecursive t EJsonF => Recursive t EJsonF => Prism' t (Either HugeInt HugeNum)

_Array :: forall t. Corecursive t EJsonF => Recursive t EJsonF => Prism' t (Array t)

_Map :: forall t. Corecursive t EJsonF => Recursive t EJsonF => Ord t => Prism' t (Map t t)

newtype EJsonMap a

Constructors

• EJsonMap (Array (Tuple a a))

Instances

• Newtype (EJsonMap a) _
• Functor EJsonMap
• (Eq a) => Eq (EJsonMap a)
• (Ord a) => Ord (EJsonMap a)
• Show (EJsonMap TacitString)
• Foldable EJsonMap
• Traversable EJsonMap

data EJsonF a

The signature endofunctor for the EJson theory.

Constructors

• Null
• String String
• Boolean Boolean
• Integer HugeInt
• Decimal HugeNum
• Array (Array a)
• Map (EJsonMap a)

Instances

• Functor EJsonF
• (Eq a) => Eq (EJsonF a)
• Eq1 EJsonF
• (Ord a) => Ord (EJsonF a)
• Ord1 EJsonF
• Foldable EJsonF
• Traversable EJsonF
• Show (EJsonF TacitString)

renderEJsonF :: Algebra EJsonF String

parseStringLiteral :: forall m. Monad m => ParserT String m String

parseNull :: forall m. Monad m => ParserT String m Unit

parseMapLiteral :: forall m a. Monad m => ParserT String m a -> ParserT String m (EJsonMap a)

parseIntLiteral :: forall m. Monad m => ParserT String m Int

parseHugeIntLiteral :: forall m. Monad m => ParserT String m HugeInt

parseEJsonF :: forall a m. Monad m => ParserT String m a -> ParserT String m (EJsonF a)

Parse one layer of structure.

parseDecimalLiteral :: forall m. Monad m => ParserT String m HugeNum

parseBooleanLiteral :: forall m. Monad m => ParserT String m Boolean

parseArrayLiteral :: forall m a. Monad m => ParserT String m a -> ParserT String m (Array a)

arbitraryEJsonF :: forall m. MonadGen m => MonadRec m => CoalgebraM m EJsonF Int