| Copyright | (c) Abhinav Gupta 2015 |
|---|---|
| License | BSD3 |
| Maintainer | Abhinav Gupta <mail@abhinavg.net> |
| Stability | experimental |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Pinch.Internal.TType
Description
Defines the different types Thrift supports at the protocol level.
- data TType a where
- class Typeable a => IsTType a where
- data SomeTType where
- ttypeEquality :: TType a -> TType b -> Maybe (a :~: b)
- ttypeEqT :: forall a b. (IsTType a, IsTType b) => Maybe (a :~: b)
- data TBool
- data TByte
- data TDouble
- data TInt16
- data TInt32
- type TEnum = TInt32
- data TInt64
- data TBinary
- type TText = TBinary
- data TStruct
- type TUnion = TStruct
- type TException = TStruct
- data TMap
- data TSet
- data TList
TType
Represents the type of a Thrift value.
Objects of this type are tagged with one of the TType tags, so this type also acts as a singleton on the TTypes. It allows writing code that can enforce properties about the TType of values at compile time.
class Typeable a => IsTType a where Source
Typeclass used to map type-leve TTypes into TType objects. All TType
tags are instances of this class.
Methods
Based on the context in which this is used, it will automatically
return the corresponding TType object.
Used when the TType for something is not known at compile time.
Typically, this will be pattern matched inside a case statement and code
that depends on the TType will be go there.
ttypeEqT :: forall a b. (IsTType a, IsTType b) => Maybe (a :~: b) Source
Witness the equality of two TTypes.
Implicit version of ttypeEquality.
Tags
type TException = TStruct Source
exception