Typson.Esqueleto

Documentation

jsonPath

Arguments

:: (TypeAtPath o tree path ~ field, ReflectPath path, PostgreSqlJSON json)

=> proxy (path :: k)

A path proxy

-> ObjectTree tree o

Typson schema

-> SqlExpr (Value (json o))

Column selector

-> SqlExpr (Value (NullableJSONB field))

Use a type-safe JSON path as part of a query.

select . from $ entity ->
  pure . jsonPath (Proxy @("foo" :-> "bar")) fieldSchemaJ
    $ entity ^. Field

newtype NullableJSONB a

Treats SQL NULL as a JSON null

Constructors

NullableJSONB

Fields

• unNullableJSONB :: a

Instances

Functor NullableJSONB

Defined in Typson.Esqueleto

Methods

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

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

Foldable NullableJSONB

Defined in Typson.Esqueleto

Methods

fold :: Monoid m => NullableJSONB m -> m

foldMap :: Monoid m => (a -> m) -> NullableJSONB a -> m

foldMap' :: Monoid m => (a -> m) -> NullableJSONB a -> m

foldr :: (a -> b -> b) -> b -> NullableJSONB a -> b

foldr' :: (a -> b -> b) -> b -> NullableJSONB a -> b

foldl :: (b -> a -> b) -> b -> NullableJSONB a -> b

foldl' :: (b -> a -> b) -> b -> NullableJSONB a -> b

foldr1 :: (a -> a -> a) -> NullableJSONB a -> a

foldl1 :: (a -> a -> a) -> NullableJSONB a -> a

toList :: NullableJSONB a -> [a]

null :: NullableJSONB a -> Bool

length :: NullableJSONB a -> Int

elem :: Eq a => a -> NullableJSONB a -> Bool

maximum :: Ord a => NullableJSONB a -> a

minimum :: Ord a => NullableJSONB a -> a

sum :: Num a => NullableJSONB a -> a

product :: Num a => NullableJSONB a -> a

Traversable NullableJSONB

Defined in Typson.Esqueleto

Methods

traverse :: Applicative f => (a -> f b) -> NullableJSONB a -> f (NullableJSONB b)

sequenceA :: Applicative f => NullableJSONB (f a) -> f (NullableJSONB a)

mapM :: Monad m => (a -> m b) -> NullableJSONB a -> m (NullableJSONB b)

sequence :: Monad m => NullableJSONB (m a) -> m (NullableJSONB a)

PostgreSqlJSON NullableJSONB

Defined in Typson.Esqueleto

Eq a => Eq (NullableJSONB a)

Defined in Typson.Esqueleto

Methods

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

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

Ord a => Ord (NullableJSONB a)

Defined in Typson.Esqueleto

Methods

compare :: NullableJSONB a -> NullableJSONB a -> Ordering

(<) :: NullableJSONB a -> NullableJSONB a -> Bool

(<=) :: NullableJSONB a -> NullableJSONB a -> Bool

(>) :: NullableJSONB a -> NullableJSONB a -> Bool

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

max :: NullableJSONB a -> NullableJSONB a -> NullableJSONB a

min :: NullableJSONB a -> NullableJSONB a -> NullableJSONB a

Read a => Read (NullableJSONB a)

Defined in Typson.Esqueleto

Methods

readsPrec :: Int -> ReadS (NullableJSONB a)

readList :: ReadS [NullableJSONB a]

readPrec :: ReadPrec (NullableJSONB a)

readListPrec :: ReadPrec [NullableJSONB a]

Show a => Show (NullableJSONB a)

Defined in Typson.Esqueleto

Methods

showsPrec :: Int -> NullableJSONB a -> ShowS

show :: NullableJSONB a -> String

showList :: [NullableJSONB a] -> ShowS

Generic (NullableJSONB a)

Defined in Typson.Esqueleto

Associated Types

type Rep (NullableJSONB a) :: Type -> Type

Methods

from :: NullableJSONB a -> Rep (NullableJSONB a) x

to :: Rep (NullableJSONB a) x -> NullableJSONB a

ToJSON a => ToJSON (NullableJSONB a)

Defined in Typson.Esqueleto

Methods

toJSON :: NullableJSONB a -> Value

toEncoding :: NullableJSONB a -> Encoding

toJSONList :: [NullableJSONB a] -> Value

toEncodingList :: [NullableJSONB a] -> Encoding

FromJSON a => FromJSON (NullableJSONB a)

Defined in Typson.Esqueleto

Methods

parseJSON :: Value -> Parser (NullableJSONB a)

parseJSONList :: Value -> Parser [NullableJSONB a]

(FromJSON a, ToJSON a) => PersistField (NullableJSONB a)

Defined in Typson.Esqueleto

Methods

toPersistValue :: NullableJSONB a -> PersistValue

fromPersistValue :: PersistValue -> Either Text (NullableJSONB a)

(FromJSON a, ToJSON a) => PersistFieldSql (NullableJSONB a)

Defined in Typson.Esqueleto

Methods

sqlType :: Proxy (NullableJSONB a) -> SqlType

type Rep (NullableJSONB a)

Defined in Typson.Esqueleto

type Rep (NullableJSONB a) = D1 ('MetaData "NullableJSONB" "Typson.Esqueleto" "typson-esqueleto-0.1.0.0-inplace" 'True) (C1 ('MetaCons "NullableJSONB" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNullableJSONB") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

class PostgreSqlJSON (json :: * -> *)

Members of this class are type constructors used to respresent Postgres JSON columns.

Instances

PostgreSqlJSON JSONB

Defined in Typson.Esqueleto

PostgreSqlJSON NullableJSONB

Defined in Typson.Esqueleto