Argo

Documentation

type Value = Value

type Array = Array Int Value

type Pair = Pair String Value

type Object = Array Int Pair

pattern Null :: Value

pattern Boolean :: Bool -> Value

pattern Number :: Integer -> Integer -> Value

pattern String :: Text -> Value

pattern Array :: Array -> Value

pattern Object :: Object -> Value

pattern Pair :: Text -> Value -> Pair

encode :: ToValue a => a -> Builder

decode :: FromValue a => ByteString -> Result a

class FromValue a where

Methods

fromValue :: Value -> Result a

Instances

FromValue Bool

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result Bool

FromValue Char

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result Char

FromValue Double

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result Double

FromValue Float

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result Float

FromValue Int

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result Int

FromValue Int8

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result Int8

FromValue Int16

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result Int16

FromValue Int32

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result Int32

FromValue Int64

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result Int64

FromValue Integer

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result Integer

FromValue Word

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result Word

FromValue Word8

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result Word8

FromValue Word16

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result Word16

FromValue Word32

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result Word32

FromValue Word64

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result Word64

FromValue ()

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result ()

FromValue String

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result String

FromValue Text

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result Text

FromValue Text

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result Text

FromValue Value

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result Value

FromValue a => FromValue [a]

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result [a]

FromValue a => FromValue (Maybe a)

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result (Maybe a)

(FromValue a, Show a) => FromValue (NonEmpty a)

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result (NonEmpty a)

(FromValue a, FromValue b) => FromValue (a, b)

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result (a, b)

FromValue a => FromValue (Array Int a)

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result (Array Int a)

FromValue a => FromValue (Map Text a)

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Result (Map Text a)

class ToValue a where

Methods

toValue :: a -> Value

Instances

ToValue Bool

Defined in Argo.Class.ToValue

Methods

toValue :: Bool -> Value

ToValue Char

Defined in Argo.Class.ToValue

Methods

toValue :: Char -> Value

ToValue Double

Defined in Argo.Class.ToValue

Methods

toValue :: Double -> Value

ToValue Float

Defined in Argo.Class.ToValue

Methods

toValue :: Float -> Value

ToValue Int

Defined in Argo.Class.ToValue

Methods

toValue :: Int -> Value

ToValue Int8

Defined in Argo.Class.ToValue

Methods

toValue :: Int8 -> Value

ToValue Int16

Defined in Argo.Class.ToValue

Methods

toValue :: Int16 -> Value

ToValue Int32

Defined in Argo.Class.ToValue

Methods

toValue :: Int32 -> Value

ToValue Int64

Defined in Argo.Class.ToValue

Methods

toValue :: Int64 -> Value

ToValue Integer

Defined in Argo.Class.ToValue

Methods

toValue :: Integer -> Value

ToValue Word

Defined in Argo.Class.ToValue

Methods

toValue :: Word -> Value

ToValue Word8

Defined in Argo.Class.ToValue

Methods

toValue :: Word8 -> Value

ToValue Word16

Defined in Argo.Class.ToValue

Methods

toValue :: Word16 -> Value

ToValue Word32

Defined in Argo.Class.ToValue

Methods

toValue :: Word32 -> Value

ToValue Word64

Defined in Argo.Class.ToValue

Methods

toValue :: Word64 -> Value

ToValue ()

Defined in Argo.Class.ToValue

Methods

toValue :: () -> Value

ToValue String

Defined in Argo.Class.ToValue

Methods

toValue :: String -> Value

ToValue Text

Defined in Argo.Class.ToValue

Methods

toValue :: Text -> Value

ToValue Text

Defined in Argo.Class.ToValue

Methods

toValue :: Text -> Value

ToValue Value

Defined in Argo.Class.ToValue

Methods

toValue :: Value -> Value

ToValue a => ToValue [a]

Defined in Argo.Class.ToValue

Methods

toValue :: [a] -> Value

ToValue a => ToValue (Maybe a)

Defined in Argo.Class.ToValue

Methods

toValue :: Maybe a -> Value

ToValue a => ToValue (NonEmpty a)

Defined in Argo.Class.ToValue

Methods

toValue :: NonEmpty a -> Value

(ToValue a, ToValue b) => ToValue (a, b)

Defined in Argo.Class.ToValue

Methods

toValue :: (a, b) -> Value

ToValue a => ToValue (Array Int a)

Defined in Argo.Class.ToValue

Methods

toValue :: Array Int a -> Value

ToValue a => ToValue (Map Text a)

Defined in Argo.Class.ToValue

Methods

toValue :: Map Text a -> Value

value :: QuasiQuoter

data Result a

Constructors

Failure String

Success a

Instances

Monad Result

Defined in Argo.Result

Methods

(>>=) :: Result a -> (a -> Result b) -> Result b

(>>) :: Result a -> Result b -> Result b

return :: a -> Result a

Functor Result

Defined in Argo.Result

Methods

fmap :: (a -> b) -> Result a -> Result b

(<$) :: a -> Result b -> Result a

MonadFail Result

Defined in Argo.Result

Methods

fail :: String -> Result a

Applicative Result

Defined in Argo.Result

Methods

pure :: a -> Result a

(<*>) :: Result (a -> b) -> Result a -> Result b

liftA2 :: (a -> b -> c) -> Result a -> Result b -> Result c

(*>) :: Result a -> Result b -> Result b

(<*) :: Result a -> Result b -> Result a

Alternative Result

Defined in Argo.Result

Methods

empty :: Result a

(<|>) :: Result a -> Result a -> Result a

some :: Result a -> Result [a]

many :: Result a -> Result [a]

Eq a => Eq (Result a)

Defined in Argo.Result

Methods

(==) :: Result a -> Result a -> Bool

(/=) :: Result a -> Result a -> Bool

Show a => Show (Result a)

Defined in Argo.Result

Methods

showsPrec :: Int -> Result a -> ShowS

show :: Result a -> String

showList :: [Result a] -> ShowS