Pinch.Internal.Generic

Implements support for automatically deriving Pinchable instances for types that implement Generic and follow a specific pattern.

Documentation

newtype Field (n :: Nat) a

Fields of data types that represent structs, unions, and exceptions should be wrapped inside Field and tagged with the field identifier.

data Foo = Foo (Field 1 Text) (Field 2 (Maybe Int32)) deriving Generic
instance Pinchable Foo

data A = A (Field 1 Int32) | B (Field 2 Text) deriving Generic
instance Pinchable Foo

Fields which hold Maybe values are treated as optional. All fields values must be Pinchable to automatically derive a Pinchable instance for the new data type.

Constructors

Field a

Instances

Functor (Field n)

Defined in Pinch.Internal.Generic

Methods

fmap :: (a -> b) -> Field n a -> Field n b

(<$) :: a -> Field n b -> Field n a

Foldable (Field n)

Defined in Pinch.Internal.Generic

Methods

fold :: Monoid m => Field n m -> m

foldMap :: Monoid m => (a -> m) -> Field n a -> m

foldr :: (a -> b -> b) -> b -> Field n a -> b

foldr' :: (a -> b -> b) -> b -> Field n a -> b

foldl :: (b -> a -> b) -> b -> Field n a -> b

foldl' :: (b -> a -> b) -> b -> Field n a -> b

foldr1 :: (a -> a -> a) -> Field n a -> a

foldl1 :: (a -> a -> a) -> Field n a -> a

toList :: Field n a -> [a]

null :: Field n a -> Bool

length :: Field n a -> Int

elem :: Eq a => a -> Field n a -> Bool

maximum :: Ord a => Field n a -> a

minimum :: Ord a => Field n a -> a

sum :: Num a => Field n a -> a

product :: Num a => Field n a -> a

Traversable (Field n)

Defined in Pinch.Internal.Generic

Methods

traverse :: Applicative f => (a -> f b) -> Field n a -> f (Field n b)

sequenceA :: Applicative f => Field n (f a) -> f (Field n a)

mapM :: Monad m => (a -> m b) -> Field n a -> m (Field n b)

sequence :: Monad m => Field n (m a) -> m (Field n a)

Bounded a => Bounded (Field n a)

Defined in Pinch.Internal.Generic

Methods

minBound :: Field n a

maxBound :: Field n a

Enum a => Enum (Field n a)

Defined in Pinch.Internal.Generic

Methods

succ :: Field n a -> Field n a

pred :: Field n a -> Field n a

toEnum :: Int -> Field n a

fromEnum :: Field n a -> Int

enumFrom :: Field n a -> [Field n a]

enumFromThen :: Field n a -> Field n a -> [Field n a]

enumFromTo :: Field n a -> Field n a -> [Field n a]

enumFromThenTo :: Field n a -> Field n a -> Field n a -> [Field n a]

Eq a => Eq (Field n a)

Defined in Pinch.Internal.Generic

Methods

(==) :: Field n a -> Field n a -> Bool

(/=) :: Field n a -> Field n a -> Bool

Ord a => Ord (Field n a)

Defined in Pinch.Internal.Generic

Methods

compare :: Field n a -> Field n a -> Ordering

(<) :: Field n a -> Field n a -> Bool

(<=) :: Field n a -> Field n a -> Bool

(>) :: Field n a -> Field n a -> Bool

(>=) :: Field n a -> Field n a -> Bool

max :: Field n a -> Field n a -> Field n a

min :: Field n a -> Field n a -> Field n a

Show a => Show (Field n a)

Defined in Pinch.Internal.Generic

Methods

showsPrec :: Int -> Field n a -> ShowS

show :: Field n a -> String

showList :: [Field n a] -> ShowS

Generic (Field n a)

Defined in Pinch.Internal.Generic

Associated Types

type Rep (Field n a) :: Type -> Type

Methods

from :: Field n a -> Rep (Field n a) x

to :: Rep (Field n a) x -> Field n a

Semigroup a => Semigroup (Field n a)

Defined in Pinch.Internal.Generic

Methods

(<>) :: Field n a -> Field n a -> Field n a

sconcat :: NonEmpty (Field n a) -> Field n a

stimes :: Integral b => b -> Field n a -> Field n a

Monoid a => Monoid (Field n a)

Defined in Pinch.Internal.Generic

Methods

mempty :: Field n a

mappend :: Field n a -> Field n a -> Field n a

mconcat :: [Field n a] -> Field n a

NFData a => NFData (Field n a)

Defined in Pinch.Internal.Generic

Methods

rnf :: Field n a -> ()

(Pinchable a, KnownNat n) => GPinchable (K1 i (Field n (Maybe a)) :: Type -> Type)

Defined in Pinch.Internal.Generic

Associated Types

type GTag (K1 i (Field n (Maybe a))) :: Type

Methods

gPinch :: K1 i (Field n (Maybe a)) a0 -> Value (GTag (K1 i (Field n (Maybe a))))

gUnpinch :: Value (GTag (K1 i (Field n (Maybe a)))) -> Parser (K1 i (Field n (Maybe a)) a0)

(Pinchable a, KnownNat n) => GPinchable (K1 i (Field n a) :: Type -> Type)

Defined in Pinch.Internal.Generic

Associated Types

type GTag (K1 i (Field n a)) :: Type

Methods

gPinch :: K1 i (Field n a) a0 -> Value (GTag (K1 i (Field n a)))

gUnpinch :: Value (GTag (K1 i (Field n a))) -> Parser (K1 i (Field n a) a0)

type Rep (Field n a)

Defined in Pinch.Internal.Generic

type Rep (Field n a) = D1 (MetaData "Field" "Pinch.Internal.Generic" "pinch-0.3.4.1-6i8lWHA1d5m12B6E7SIAjq" True) (C1 (MetaCons "Field" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

type GTag (K1 i (Field n (Maybe a)) :: Type -> Type)

Defined in Pinch.Internal.Generic

type GTag (K1 i (Field n (Maybe a)) :: Type -> Type) = TStruct

type GTag (K1 i (Field n a) :: Type -> Type)

Defined in Pinch.Internal.Generic

type GTag (K1 i (Field n a) :: Type -> Type) = TStruct

getField :: Field n a -> a

Gets the current value of a field.

let Foo a' _ = {- ... -}
    a = getField a'

putField :: a -> Field n a

Puts a value inside a field.

Foo (putField "Hello") (putField (Just 42))

field :: Functor f => (a -> f b) -> Field n a -> f (Field n b)

A lens on Field wrappers for use with the lens library.

person & name . field .~ "new value"

data Enumeration (n :: Nat)

Data types that represent Thrift enums must have one constructor for each enum item accepting an Enumeration object tagged with the corresponding enum value.

data Role = RoleUser (Enumeration 1) | RoleAdmin (Enumeration 2)
  deriving Generic
instance Pinchable Role

Constructors

Enumeration

Instances

Eq (Enumeration n)

Defined in Pinch.Internal.Generic

Methods

(==) :: Enumeration n -> Enumeration n -> Bool

(/=) :: Enumeration n -> Enumeration n -> Bool

Ord (Enumeration n)

Defined in Pinch.Internal.Generic

Methods

compare :: Enumeration n -> Enumeration n -> Ordering

(<) :: Enumeration n -> Enumeration n -> Bool

(<=) :: Enumeration n -> Enumeration n -> Bool

(>) :: Enumeration n -> Enumeration n -> Bool

(>=) :: Enumeration n -> Enumeration n -> Bool

max :: Enumeration n -> Enumeration n -> Enumeration n

min :: Enumeration n -> Enumeration n -> Enumeration n

Show (Enumeration n)

Defined in Pinch.Internal.Generic

Methods

showsPrec :: Int -> Enumeration n -> ShowS

show :: Enumeration n -> String

showList :: [Enumeration n] -> ShowS

Generic (Enumeration n)

Defined in Pinch.Internal.Generic

Associated Types

type Rep (Enumeration n) :: Type -> Type

Methods

from :: Enumeration n -> Rep (Enumeration n) x

to :: Rep (Enumeration n) x -> Enumeration n

NFData (Enumeration n)

Defined in Pinch.Internal.Generic

Methods

rnf :: Enumeration n -> ()

KnownNat n => GPinchable (K1 i (Enumeration n) :: Type -> Type)

Defined in Pinch.Internal.Generic

Associated Types

type GTag (K1 i (Enumeration n)) :: Type

Methods

gPinch :: K1 i (Enumeration n) a -> Value (GTag (K1 i (Enumeration n)))

gUnpinch :: Value (GTag (K1 i (Enumeration n))) -> Parser (K1 i (Enumeration n) a)

type Rep (Enumeration n)

Defined in Pinch.Internal.Generic

type Rep (Enumeration n) = D1 (MetaData "Enumeration" "Pinch.Internal.Generic" "pinch-0.3.4.1-6i8lWHA1d5m12B6E7SIAjq" False) (C1 (MetaCons "Enumeration" PrefixI False) (U1 :: Type -> Type))

type GTag (K1 i (Enumeration n) :: Type -> Type)

Defined in Pinch.Internal.Generic

type GTag (K1 i (Enumeration n) :: Type -> Type) = TEnum

enum :: Enumeration n

Convenience function to construct Enumeration objects.

let role = RoleUser enum

data Void

Represents a void result for methods.

This should be used as an element in a response union along with Field tags.

For a method,

void setValue(..) throws
  (1: ValueAlreadyExists alreadyExists,
   2: InternalError internalError)

Something similar to the following can be used.

data SetValueResponse
  = SetValueAlreadyExists (Field 1 ValueAlreadyExists)
  | SetValueInternalError (Field 2 InternalError)
  | SetValueSuccess Void
  deriving (Generic)

instance Pinchable SetValueResponse

Constructors

Void

Instances

Eq Void

Defined in Pinch.Internal.Generic

Methods

(==) :: Void -> Void -> Bool

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

Ord Void

Defined in Pinch.Internal.Generic

Methods

compare :: Void -> Void -> Ordering

(<) :: Void -> Void -> Bool

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

(>) :: Void -> Void -> Bool

(>=) :: Void -> Void -> Bool

max :: Void -> Void -> Void

min :: Void -> Void -> Void

Show Void

Defined in Pinch.Internal.Generic

Methods

showsPrec :: Int -> Void -> ShowS

show :: Void -> String

showList :: [Void] -> ShowS

Generic Void

Defined in Pinch.Internal.Generic

Associated Types

type Rep Void :: Type -> Type

Methods

from :: Void -> Rep Void x

to :: Rep Void x -> Void

GPinchable (K1 i Void :: Type -> Type)

Defined in Pinch.Internal.Generic

Associated Types

type GTag (K1 i Void) :: Type

Methods

gPinch :: K1 i Void a -> Value (GTag (K1 i Void))

gUnpinch :: Value (GTag (K1 i Void)) -> Parser (K1 i Void a)

type Rep Void

Defined in Pinch.Internal.Generic

type Rep Void = D1 (MetaData "Void" "Pinch.Internal.Generic" "pinch-0.3.4.1-6i8lWHA1d5m12B6E7SIAjq" False) (C1 (MetaCons "Void" PrefixI False) (U1 :: Type -> Type))

type GTag (K1 i Void :: Type -> Type)

Defined in Pinch.Internal.Generic

type GTag (K1 i Void :: Type -> Type) = TStruct

Orphan instances

(GPinchable a, GPinchable b, GTag a ~ GTag b) => GPinchable (a :+: b)

Associated Types

type GTag (a :+: b) :: Type

Methods

gPinch :: (a :+: b) a0 -> Value (GTag (a :+: b))

gUnpinch :: Value (GTag (a :+: b)) -> Parser ((a :+: b) a0)

(GPinchable a, GPinchable b, GTag a ~ GTag b, Combinable (GTag a)) => GPinchable (a :*: b)

Associated Types

type GTag (a :*: b) :: Type

Methods

gPinch :: (a :*: b) a0 -> Value (GTag (a :*: b))

gUnpinch :: Value (GTag (a :*: b)) -> Parser ((a :*: b) a0)

(Datatype d, GPinchable a) => GPinchable (D1 d a)

Associated Types

type GTag (D1 d a) :: Type

Methods

gPinch :: D1 d a a0 -> Value (GTag (D1 d a))

gUnpinch :: Value (GTag (D1 d a)) -> Parser (D1 d a a0)

GPinchable a => GPinchable (M1 i c a)

Associated Types

type GTag (M1 i c a) :: Type

Methods

gPinch :: M1 i c a a0 -> Value (GTag (M1 i c a))

gUnpinch :: Value (GTag (M1 i c a)) -> Parser (M1 i c a a0)