ClickHaskell

Connection

data ChCredential

Constructors

MkChCredential

Fields

• chLogin :: Text
• chPass :: Text
• chDatabase :: Text
• chHost :: HostName
• chPort :: ServiceName

defaultCredentials :: ChCredential

data Connection where

Constructors

MkConnection :: MVar ConnectionState -> Connection

openNativeConnection :: HasCallStack => ChCredential -> IO Connection

Reading and writing

data Table (name :: Symbol) (columns :: [Type])

data Columns (columns :: [Type])

data Column (name :: Symbol) (chType :: Type)

Column declaration

For example:

type MyColumn = Column "myColumn" ChString

Instances

(KnownColumn (Column name (ChArray chType)), Deserializable chType, TypeError ('Text "Arrays deserialization still unsupported") :: Constraint) => DeserializableColumn (Column name (ChArray chType))

Defined in ClickHaskell

Methods

deserializeColumn :: ProtocolRevision -> Bool -> UVarInt -> Get (Column name (ChArray chType))

(KnownColumn (Column name (LowCardinality chType)), Deserializable chType, ToChType (LowCardinality chType) chType, IsLowCardinalitySupported chType, TypeError ('Text "LowCardinality deserialization still unsupported") :: Constraint) => DeserializableColumn (Column name (LowCardinality chType))

Defined in ClickHaskell

Methods

deserializeColumn :: ProtocolRevision -> Bool -> UVarInt -> Get (Column name (LowCardinality chType))

(KnownColumn (Column name (Nullable chType)), Deserializable chType) => DeserializableColumn (Column name (Nullable chType))

Defined in ClickHaskell

Methods

deserializeColumn :: ProtocolRevision -> Bool -> UVarInt -> Get (Column name (Nullable chType))

(KnownColumn (Column name chType), Deserializable chType) => DeserializableColumn (Column name chType)

Defined in ClickHaskell

Methods

deserializeColumn :: ProtocolRevision -> Bool -> UVarInt -> Get (Column name chType)

KnownSymbol name => KnownColumn (Column name (ChArray ChString))

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name (ChArray ChString))] -> Column (GetColumnName (Column name (ChArray ChString))) (GetColumnType (Column name (ChArray ChString)))

KnownSymbol name => KnownColumn (Column name ChString)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name ChString)] -> Column (GetColumnName (Column name ChString)) (GetColumnType (Column name ChString))

KnownSymbol name => KnownColumn (Column name ChUUID)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name ChUUID)] -> Column (GetColumnName (Column name ChUUID)) (GetColumnType (Column name ChUUID))

(KnownSymbol name, IsChType (DateTime tz)) => KnownColumn (Column name (DateTime tz))

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name (DateTime tz))] -> Column (GetColumnName (Column name (DateTime tz))) (GetColumnType (Column name (DateTime tz)))

(KnownSymbol name, IsChType (LowCardinality chType), IsLowCardinalitySupported chType) => KnownColumn (Column name (LowCardinality chType))

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name (LowCardinality chType))] -> Column (GetColumnName (Column name (LowCardinality chType))) (GetColumnType (Column name (LowCardinality chType)))

(KnownSymbol name, IsChType chType, IsChType (Nullable chType)) => KnownColumn (Column name (Nullable chType))

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name (Nullable chType))] -> Column (GetColumnName (Column name (Nullable chType))) (GetColumnType (Column name (Nullable chType)))

KnownSymbol name => KnownColumn (Column name UInt128)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name UInt128)] -> Column (GetColumnName (Column name UInt128)) (GetColumnType (Column name UInt128))

KnownSymbol name => KnownColumn (Column name UInt16)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name UInt16)] -> Column (GetColumnName (Column name UInt16)) (GetColumnType (Column name UInt16))

KnownSymbol name => KnownColumn (Column name UInt32)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name UInt32)] -> Column (GetColumnName (Column name UInt32)) (GetColumnType (Column name UInt32))

KnownSymbol name => KnownColumn (Column name UInt64)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name UInt64)] -> Column (GetColumnName (Column name UInt64)) (GetColumnType (Column name UInt64))

KnownSymbol name => KnownColumn (Column name UInt8)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name UInt8)] -> Column (GetColumnName (Column name UInt8)) (GetColumnType (Column name UInt8))

KnownSymbol name => KnownColumn (Column name Int16)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name Int16)] -> Column (GetColumnName (Column name Int16)) (GetColumnType (Column name Int16))

KnownSymbol name => KnownColumn (Column name Int32)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name Int32)] -> Column (GetColumnName (Column name Int32)) (GetColumnType (Column name Int32))

KnownSymbol name => KnownColumn (Column name Int64)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name Int64)] -> Column (GetColumnName (Column name Int64)) (GetColumnType (Column name Int64))

KnownSymbol name => KnownColumn (Column name Int8)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name Int8)] -> Column (GetColumnName (Column name Int8)) (GetColumnType (Column name Int8))

KnownSymbol name => KnownColumn (Column name Int128)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name Int128)] -> Column (GetColumnName (Column name Int128)) (GetColumnType (Column name Int128))

class (IsChType (GetColumnType column), KnownSymbol (GetColumnName column)) => KnownColumn column where

Minimal complete definition

mkColumn

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType column] -> Column (GetColumnName column) (GetColumnType column)

Instances

KnownSymbol name => KnownColumn (Column name (ChArray ChString))

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name (ChArray ChString))] -> Column (GetColumnName (Column name (ChArray ChString))) (GetColumnType (Column name (ChArray ChString)))

KnownSymbol name => KnownColumn (Column name ChString)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name ChString)] -> Column (GetColumnName (Column name ChString)) (GetColumnType (Column name ChString))

KnownSymbol name => KnownColumn (Column name ChUUID)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name ChUUID)] -> Column (GetColumnName (Column name ChUUID)) (GetColumnType (Column name ChUUID))

(KnownSymbol name, IsChType (DateTime tz)) => KnownColumn (Column name (DateTime tz))

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name (DateTime tz))] -> Column (GetColumnName (Column name (DateTime tz))) (GetColumnType (Column name (DateTime tz)))

(KnownSymbol name, IsChType (LowCardinality chType), IsLowCardinalitySupported chType) => KnownColumn (Column name (LowCardinality chType))

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name (LowCardinality chType))] -> Column (GetColumnName (Column name (LowCardinality chType))) (GetColumnType (Column name (LowCardinality chType)))

(KnownSymbol name, IsChType chType, IsChType (Nullable chType)) => KnownColumn (Column name (Nullable chType))

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name (Nullable chType))] -> Column (GetColumnName (Column name (Nullable chType))) (GetColumnType (Column name (Nullable chType)))

KnownSymbol name => KnownColumn (Column name UInt128)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name UInt128)] -> Column (GetColumnName (Column name UInt128)) (GetColumnType (Column name UInt128))

KnownSymbol name => KnownColumn (Column name UInt16)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name UInt16)] -> Column (GetColumnName (Column name UInt16)) (GetColumnType (Column name UInt16))

KnownSymbol name => KnownColumn (Column name UInt32)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name UInt32)] -> Column (GetColumnName (Column name UInt32)) (GetColumnType (Column name UInt32))

KnownSymbol name => KnownColumn (Column name UInt64)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name UInt64)] -> Column (GetColumnName (Column name UInt64)) (GetColumnType (Column name UInt64))

KnownSymbol name => KnownColumn (Column name UInt8)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name UInt8)] -> Column (GetColumnName (Column name UInt8)) (GetColumnType (Column name UInt8))

KnownSymbol name => KnownColumn (Column name Int16)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name Int16)] -> Column (GetColumnName (Column name Int16)) (GetColumnType (Column name Int16))

KnownSymbol name => KnownColumn (Column name Int32)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name Int32)] -> Column (GetColumnName (Column name Int32)) (GetColumnType (Column name Int32))

KnownSymbol name => KnownColumn (Column name Int64)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name Int64)] -> Column (GetColumnName (Column name Int64)) (GetColumnType (Column name Int64))

KnownSymbol name => KnownColumn (Column name Int8)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name Int8)] -> Column (GetColumnName (Column name Int8)) (GetColumnType (Column name Int8))

KnownSymbol name => KnownColumn (Column name Int128)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name Int128)] -> Column (GetColumnName (Column name Int128)) (GetColumnType (Column name Int128))

class DeserializableColumn column where

Methods

deserializeColumn :: ProtocolRevision -> Bool -> UVarInt -> Get column

Instances

(KnownColumn (Column name (ChArray chType)), Deserializable chType, TypeError ('Text "Arrays deserialization still unsupported") :: Constraint) => DeserializableColumn (Column name (ChArray chType))

Defined in ClickHaskell

Methods

deserializeColumn :: ProtocolRevision -> Bool -> UVarInt -> Get (Column name (ChArray chType))

(KnownColumn (Column name (LowCardinality chType)), Deserializable chType, ToChType (LowCardinality chType) chType, IsLowCardinalitySupported chType, TypeError ('Text "LowCardinality deserialization still unsupported") :: Constraint) => DeserializableColumn (Column name (LowCardinality chType))

Defined in ClickHaskell

Methods

deserializeColumn :: ProtocolRevision -> Bool -> UVarInt -> Get (Column name (LowCardinality chType))

(KnownColumn (Column name (Nullable chType)), Deserializable chType) => DeserializableColumn (Column name (Nullable chType))

Defined in ClickHaskell

Methods

deserializeColumn :: ProtocolRevision -> Bool -> UVarInt -> Get (Column name (Nullable chType))

(KnownColumn (Column name chType), Deserializable chType) => DeserializableColumn (Column name chType)

Defined in ClickHaskell

Methods

deserializeColumn :: ProtocolRevision -> Bool -> UVarInt -> Get (Column name chType)

Reading

class HasColumns hasColumns => ReadableFrom hasColumns record where

Minimal complete definition

Nothing

Methods

deserializeColumns :: ProtocolRevision -> UVarInt -> Get [record]

default deserializeColumns :: GenericReadable record hasColumns => ProtocolRevision -> UVarInt -> Get [record]

readingColumns :: Builder

default readingColumns :: GenericReadable record hasColumns => Builder

readingColumnsAndTypes :: Builder

default readingColumnsAndTypes :: GenericReadable record hasColumns => Builder

select :: forall columns record result. ReadableFrom (Columns columns) record => Connection -> ChString -> ([record] -> IO result) -> IO [result]

selectFrom :: forall table record name columns a. (table ~ Table name columns, KnownSymbol name, ReadableFrom table record) => Connection -> ([record] -> IO a) -> IO [a]

selectFromView :: forall view record result name columns parameters passedParameters. (ReadableFrom view record, KnownSymbol name, view ~ View name columns parameters, CheckParameters parameters passedParameters) => Connection -> (Parameters '[] -> Parameters passedParameters) -> ([record] -> IO result) -> IO [result]

data View (name :: Symbol) (columns :: [Type]) (parameters :: [Type])

parameter :: forall name chType parameters userType. (ToChType chType userType, KnownParameter (Parameter name chType)) => userType -> Parameters parameters -> Parameters (Parameter name chType ': parameters)

data Parameter (name :: Symbol) (chType :: Type)

data Parameters parameters

viewParameters :: (Parameters '[] -> Parameters passedParameters) -> Builder

>>> viewParameters (parameter @"a3" @ChString ("a3Val" :: String) . parameter @"a2" @ChString ("a2Val" :: String))
"(a3='a3Val', a2='a2Val')"

generateRandom :: forall columns record result. ReadableFrom (Columns columns) record => Connection -> (UInt64, UInt64, UInt64) -> UInt64 -> ([record] -> IO result) -> IO [result]

Internal

handleSelect :: forall hasColumns record result. ReadableFrom hasColumns record => ConnectionState -> ([record] -> IO result) -> IO [result]

Errors

data ClientError where

Constructors

UserError :: HasCallStack => UserError -> ClientError

InternalError :: HasCallStack => InternalError -> ClientError

Instances

Exception ClientError

Defined in ClickHaskell

Methods

toException :: ClientError -> SomeException

fromException :: SomeException -> Maybe ClientError

displayException :: ClientError -> String

Show ClientError

Defined in ClickHaskell

Methods

showsPrec :: Int -> ClientError -> ShowS

show :: ClientError -> String

showList :: [ClientError] -> ShowS

data ConnectionError

Constructors

NoAdressResolved

EstablishTimeout

Instances

Exception ConnectionError

Defined in ClickHaskell

Methods

toException :: ConnectionError -> SomeException

fromException :: SomeException -> Maybe ConnectionError

displayException :: ConnectionError -> String

Show ConnectionError

Defined in ClickHaskell

Methods

showsPrec :: Int -> ConnectionError -> ShowS

show :: ConnectionError -> String

showList :: [ConnectionError] -> ShowS

data UserError

Constructors

UnmatchedType String

UnmatchedColumn String

DatabaseException ExceptionPacket

Instances

Exception UserError

Defined in ClickHaskell

Methods

toException :: UserError -> SomeException

fromException :: SomeException -> Maybe UserError

displayException :: UserError -> String

Show UserError

Defined in ClickHaskell

Methods

showsPrec :: Int -> UserError -> ShowS

show :: UserError -> String

showList :: [UserError] -> ShowS

data InternalError

You shouldn't see this exceptions. Please report a bug if it appears

Constructors

UnexpectedPacketType ServerPacketType

DeserializationError String

Instances

Exception InternalError

Defined in ClickHaskell

Methods

toException :: InternalError -> SomeException

fromException :: SomeException -> Maybe InternalError

displayException :: InternalError -> String

Show InternalError

Defined in ClickHaskell

Methods

showsPrec :: Int -> InternalError -> ShowS

show :: InternalError -> String

showList :: [InternalError] -> ShowS

Writing

class (HasColumns (Columns (GetColumns columns)), Serializable (Columns (GetColumns columns))) => WritableInto columns record where

Minimal complete definition

Nothing

Methods

deserializeInsertHeader :: ProtocolRevision -> Get ()

default deserializeInsertHeader :: GenericWritable record (GetColumns columns) => ProtocolRevision -> Get ()

serializeRecords :: [record] -> ProtocolRevision -> Builder

default serializeRecords :: GenericWritable record (GetColumns columns) => [record] -> ProtocolRevision -> Builder

writingColumns :: Builder

default writingColumns :: GenericWritable record (GetColumns columns) => Builder

columnsCount :: UVarInt

default columnsCount :: GenericWritable record (GetColumns columns) => UVarInt

insertInto :: forall table record name columns. (table ~ Table name columns, WritableInto table record, KnownSymbol name) => Connection -> [record] -> IO ()

Ping database connection

ping :: HasCallStack => Connection -> IO ()

ClickHouse types

class KnownSymbol (ToChTypeName chType) => IsChType chType where

Minimal complete definition

defaultValueOfTypeName

Associated Types

type ToChTypeName chType :: Symbol

Shows database original type name

type ToChTypeName ChString = "String"
type ToChTypeName (Nullable UInt32) = "Nullable(UInt32)"

Methods

chTypeName :: Builder

defaultValueOfTypeName :: chType

Instances

IsChType ChString

Defined in ClickHaskell

Associated Types

type ToChTypeName ChString :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: ChString

IsChType ChUUID

Defined in ClickHaskell

Associated Types

type ToChTypeName ChUUID :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: ChUUID

IsChType UInt128

Defined in ClickHaskell

Associated Types

type ToChTypeName UInt128 :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: UInt128

IsChType UInt16

Defined in ClickHaskell

Associated Types

type ToChTypeName UInt16 :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: UInt16

IsChType UInt32

Defined in ClickHaskell

Associated Types

type ToChTypeName UInt32 :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: UInt32

IsChType UInt64

Defined in ClickHaskell

Associated Types

type ToChTypeName UInt64 :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: UInt64

IsChType UInt8

Defined in ClickHaskell

Associated Types

type ToChTypeName UInt8 :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: UInt8

IsChType Int16

Defined in ClickHaskell

Associated Types

type ToChTypeName Int16 :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: Int16

IsChType Int32

Defined in ClickHaskell

Associated Types

type ToChTypeName Int32 :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: Int32

IsChType Int64

Defined in ClickHaskell

Associated Types

type ToChTypeName Int64 :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: Int64

IsChType Int8

Defined in ClickHaskell

Associated Types

type ToChTypeName Int8 :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: Int8

IsChType Int128

Defined in ClickHaskell

Associated Types

type ToChTypeName Int128 :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: Int128

KnownSymbol (AppendSymbol (AppendSymbol "Array(" (ToChTypeName chType)) ")") => IsChType (ChArray chType)

Defined in ClickHaskell

Associated Types

type ToChTypeName (ChArray chType) :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: ChArray chType

KnownSymbol (ToChTypeName (DateTime tz)) => IsChType (DateTime tz)

Defined in ClickHaskell

Associated Types

type ToChTypeName (DateTime tz) :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: DateTime tz

(IsLowCardinalitySupported chType, KnownSymbol (AppendSymbol (AppendSymbol "LowCardinality(" (ToChTypeName chType)) ")")) => IsChType (LowCardinality chType)

Defined in ClickHaskell

Associated Types

type ToChTypeName (LowCardinality chType) :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: LowCardinality chType

(IsChType chType, KnownSymbol (AppendSymbol (AppendSymbol "Nullable(" (ToChTypeName chType)) ")")) => IsChType (Nullable chType)

Defined in ClickHaskell

Associated Types

type ToChTypeName (Nullable chType) :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: Nullable chType

class ToChType chType inputType where

Methods

toChType :: inputType -> chType

Instances

ToChType ChString Builder

Defined in ClickHaskell

Methods

toChType :: Builder -> ChString

ToChType ChString StrictByteString

Defined in ClickHaskell

Methods

toChType :: StrictByteString -> ChString

ToChType ChString Text

Defined in ClickHaskell

Methods

toChType :: Text -> ChString

ToChType ChString String

Defined in ClickHaskell

Methods

toChType :: String -> ChString

ToChType ChString Int

Defined in ClickHaskell

Methods

toChType :: Int -> ChString

ToChType ChUUID Word64

Defined in ClickHaskell

Methods

toChType :: Word64 -> ChUUID

ToChType UInt128 UInt64

Defined in ClickHaskell

Methods

toChType :: UInt64 -> UInt128

ToChType Int64 Int

Defined in ClickHaskell

Methods

toChType :: Int -> Int64

(IsChType chType, chType ~ inputType) => ToChType chType inputType

Defined in ClickHaskell

Methods

toChType :: inputType -> chType

ToChType ChUUID (Word64, Word64)

Defined in ClickHaskell

Methods

toChType :: (Word64, Word64) -> ChUUID

ToChType (DateTime tz) Word32

Defined in ClickHaskell

Methods

toChType :: Word32 -> DateTime tz

ToChType (DateTime tz) UTCTime

Defined in ClickHaskell

Methods

toChType :: UTCTime -> DateTime tz

ToChType (DateTime tz) ZonedTime

Defined in ClickHaskell

Methods

toChType :: ZonedTime -> DateTime tz

ToChType inputType chType => ToChType (LowCardinality inputType) chType

Defined in ClickHaskell

Methods

toChType :: chType -> LowCardinality inputType

ToChType chType inputType => ToChType (ChArray chType) [inputType]

Defined in ClickHaskell

Methods

toChType :: [inputType] -> ChArray chType

ToChType inputType chType => ToChType (Nullable inputType) (Nullable chType)

Defined in ClickHaskell

Methods

toChType :: Nullable chType -> Nullable inputType

class FromChType chType outputType where

Methods

fromChType :: chType -> outputType

Instances

FromChType ChString Builder

Defined in ClickHaskell

Methods

fromChType :: ChString -> Builder

FromChType ChString StrictByteString

Defined in ClickHaskell

Methods

fromChType :: ChString -> StrictByteString

(TypeError ('Text "ChString to Text using FromChType convertion could cause exception" ':$$: 'Text "Decode ByteString manually if you are sure it's always can be decoded or replace it with ByteString") :: Constraint) => FromChType ChString Text

Defined in ClickHaskell

Methods

fromChType :: ChString -> Text

(IsChType chType, chType ~ inputType) => FromChType chType inputType

Defined in ClickHaskell

Methods

fromChType :: chType -> inputType

FromChType chType (LowCardinality chType)

Defined in ClickHaskell

Methods

fromChType :: chType -> LowCardinality chType

FromChType ChUUID (Word64, Word64)

Defined in ClickHaskell

Methods

fromChType :: ChUUID -> (Word64, Word64)

FromChType (DateTime tz) Word32

Defined in ClickHaskell

Methods

fromChType :: DateTime tz -> Word32

FromChType (DateTime tz) UTCTime

Defined in ClickHaskell

Methods

fromChType :: DateTime tz -> UTCTime

FromChType chType outputType => FromChType (LowCardinality chType) outputType

Defined in ClickHaskell

Methods

fromChType :: LowCardinality chType -> outputType

FromChType chType inputType => FromChType (ChArray chType) [inputType]

Defined in ClickHaskell

Methods

fromChType :: ChArray chType -> [inputType]

FromChType chType inputType => FromChType (Nullable chType) (Nullable inputType)

Defined in ClickHaskell

Methods

fromChType :: Nullable chType -> Nullable inputType

class ToQueryPart chType where

Methods

toQueryPart :: chType -> Builder

Instances

ToQueryPart ChString

Defined in ClickHaskell

Methods

toQueryPart :: ChString -> Builder

ToQueryPart ChUUID

Defined in ClickHaskell

Methods

toQueryPart :: ChUUID -> Builder

ToQueryPart UInt128

Defined in ClickHaskell

Methods

toQueryPart :: UInt128 -> Builder

ToQueryPart UInt16

Defined in ClickHaskell

Methods

toQueryPart :: UInt16 -> Builder

ToQueryPart UInt32

Defined in ClickHaskell

Methods

toQueryPart :: UInt32 -> Builder

ToQueryPart UInt64

Defined in ClickHaskell

Methods

toQueryPart :: UInt64 -> Builder

ToQueryPart UInt8

Defined in ClickHaskell

Methods

toQueryPart :: UInt8 -> Builder

ToQueryPart Int16

Defined in ClickHaskell

Methods

toQueryPart :: Int16 -> Builder

ToQueryPart Int32

Defined in ClickHaskell

Methods

toQueryPart :: Int32 -> Builder

ToQueryPart Int64

Defined in ClickHaskell

Methods

toQueryPart :: Int64 -> Builder

ToQueryPart Int8

Defined in ClickHaskell

Methods

toQueryPart :: Int8 -> Builder

ToQueryPart Int128

Defined in ClickHaskell

Methods

toQueryPart :: Int128 -> Builder

(IsChType chType, ToQueryPart chType) => ToQueryPart (ChArray chType)

Defined in ClickHaskell

Methods

toQueryPart :: ChArray chType -> Builder

ToQueryPart (DateTime tz)

Defined in ClickHaskell

Methods

toQueryPart :: DateTime tz -> Builder

ToQueryPart chType => ToQueryPart (LowCardinality chType)

Defined in ClickHaskell

Methods

toQueryPart :: LowCardinality chType -> Builder

ToQueryPart chType => ToQueryPart (Nullable chType)

Defined in ClickHaskell

Methods

toQueryPart :: Nullable chType -> Builder

newtype DateTime (tz :: Symbol)

ClickHouse DateTime column type (paramtrized with timezone)

>>> chTypeName @(DateTime "")
"DateTime"
>>> chTypeName @(DateTime "UTC")
"DateTime('UTC')"

Constructors

MkDateTime Word32

Instances

KnownSymbol (ToChTypeName (DateTime tz)) => IsChType (DateTime tz)

Defined in ClickHaskell

Associated Types

type ToChTypeName (DateTime tz) :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: DateTime tz

ToQueryPart (DateTime tz)

Defined in ClickHaskell

Methods

toQueryPart :: DateTime tz -> Builder

Bits (DateTime tz)

Defined in ClickHaskell

Methods

(.&.) :: DateTime tz -> DateTime tz -> DateTime tz

(.|.) :: DateTime tz -> DateTime tz -> DateTime tz

xor :: DateTime tz -> DateTime tz -> DateTime tz

complement :: DateTime tz -> DateTime tz

shift :: DateTime tz -> Int -> DateTime tz

rotate :: DateTime tz -> Int -> DateTime tz

zeroBits :: DateTime tz

bit :: Int -> DateTime tz

setBit :: DateTime tz -> Int -> DateTime tz

clearBit :: DateTime tz -> Int -> DateTime tz

complementBit :: DateTime tz -> Int -> DateTime tz

testBit :: DateTime tz -> Int -> Bool

bitSizeMaybe :: DateTime tz -> Maybe Int

bitSize :: DateTime tz -> Int

isSigned :: DateTime tz -> Bool

shiftL :: DateTime tz -> Int -> DateTime tz

unsafeShiftL :: DateTime tz -> Int -> DateTime tz

shiftR :: DateTime tz -> Int -> DateTime tz

unsafeShiftR :: DateTime tz -> Int -> DateTime tz

rotateL :: DateTime tz -> Int -> DateTime tz

rotateR :: DateTime tz -> Int -> DateTime tz

popCount :: DateTime tz -> Int

Bounded (DateTime tz)

Defined in ClickHaskell

Methods

minBound :: DateTime tz

maxBound :: DateTime tz

Enum (DateTime tz)

Defined in ClickHaskell

Methods

succ :: DateTime tz -> DateTime tz

pred :: DateTime tz -> DateTime tz

toEnum :: Int -> DateTime tz

fromEnum :: DateTime tz -> Int

enumFrom :: DateTime tz -> [DateTime tz]

enumFromThen :: DateTime tz -> DateTime tz -> [DateTime tz]

enumFromTo :: DateTime tz -> DateTime tz -> [DateTime tz]

enumFromThenTo :: DateTime tz -> DateTime tz -> DateTime tz -> [DateTime tz]

Num (DateTime tz)

Defined in ClickHaskell

Methods

(+) :: DateTime tz -> DateTime tz -> DateTime tz

(-) :: DateTime tz -> DateTime tz -> DateTime tz

(*) :: DateTime tz -> DateTime tz -> DateTime tz

negate :: DateTime tz -> DateTime tz

abs :: DateTime tz -> DateTime tz

signum :: DateTime tz -> DateTime tz

fromInteger :: Integer -> DateTime tz

Integral (DateTime tz)

Defined in ClickHaskell

Methods

quot :: DateTime tz -> DateTime tz -> DateTime tz

rem :: DateTime tz -> DateTime tz -> DateTime tz

div :: DateTime tz -> DateTime tz -> DateTime tz

mod :: DateTime tz -> DateTime tz -> DateTime tz

quotRem :: DateTime tz -> DateTime tz -> (DateTime tz, DateTime tz)

divMod :: DateTime tz -> DateTime tz -> (DateTime tz, DateTime tz)

toInteger :: DateTime tz -> Integer

Real (DateTime tz)

Defined in ClickHaskell

Methods

toRational :: DateTime tz -> Rational

Show (DateTime tz)

Defined in ClickHaskell

Methods

showsPrec :: Int -> DateTime tz -> ShowS

show :: DateTime tz -> String

showList :: [DateTime tz] -> ShowS

NFData (DateTime tz)

Defined in ClickHaskell

Methods

rnf :: DateTime tz -> ()

Eq (DateTime tz)

Defined in ClickHaskell

Methods

(==) :: DateTime tz -> DateTime tz -> Bool

(/=) :: DateTime tz -> DateTime tz -> Bool

Ord (DateTime tz)

Defined in ClickHaskell

Methods

compare :: DateTime tz -> DateTime tz -> Ordering

(<) :: DateTime tz -> DateTime tz -> Bool

(<=) :: DateTime tz -> DateTime tz -> Bool

(>) :: DateTime tz -> DateTime tz -> Bool

(>=) :: DateTime tz -> DateTime tz -> Bool

max :: DateTime tz -> DateTime tz -> DateTime tz

min :: DateTime tz -> DateTime tz -> DateTime tz

FromChType (DateTime tz) Word32

Defined in ClickHaskell

Methods

fromChType :: DateTime tz -> Word32

FromChType (DateTime tz) UTCTime

Defined in ClickHaskell

Methods

fromChType :: DateTime tz -> UTCTime

ToChType (DateTime tz) Word32

Defined in ClickHaskell

Methods

toChType :: Word32 -> DateTime tz

ToChType (DateTime tz) UTCTime

Defined in ClickHaskell

Methods

toChType :: UTCTime -> DateTime tz

ToChType (DateTime tz) ZonedTime

Defined in ClickHaskell

Methods

toChType :: ZonedTime -> DateTime tz

(KnownSymbol name, IsChType (DateTime tz)) => KnownColumn (Column name (DateTime tz))

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name (DateTime tz))] -> Column (GetColumnName (Column name (DateTime tz))) (GetColumnType (Column name (DateTime tz)))

type ToChTypeName (DateTime tz)

Defined in ClickHaskell

type ToChTypeName (DateTime tz) = If (tz == "") "DateTime" (AppendSymbol (AppendSymbol "DateTime('" tz) "')")

data Int8

8-bit signed integer type

Instances

IsChType Int8

Defined in ClickHaskell

Associated Types

type ToChTypeName Int8 :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: Int8

ToQueryPart Int8

Defined in ClickHaskell

Methods

toQueryPart :: Int8 -> Builder

Bits Int8

Since: base-2.1

Defined in GHC.Int

Methods

(.&.) :: Int8 -> Int8 -> Int8

(.|.) :: Int8 -> Int8 -> Int8

xor :: Int8 -> Int8 -> Int8

complement :: Int8 -> Int8

shift :: Int8 -> Int -> Int8

rotate :: Int8 -> Int -> Int8

zeroBits :: Int8

bit :: Int -> Int8

setBit :: Int8 -> Int -> Int8

clearBit :: Int8 -> Int -> Int8

complementBit :: Int8 -> Int -> Int8

testBit :: Int8 -> Int -> Bool

bitSizeMaybe :: Int8 -> Maybe Int

bitSize :: Int8 -> Int

isSigned :: Int8 -> Bool

shiftL :: Int8 -> Int -> Int8

unsafeShiftL :: Int8 -> Int -> Int8

shiftR :: Int8 -> Int -> Int8

unsafeShiftR :: Int8 -> Int -> Int8

rotateL :: Int8 -> Int -> Int8

rotateR :: Int8 -> Int -> Int8

popCount :: Int8 -> Int

FiniteBits Int8

Since: base-4.6.0.0

Defined in GHC.Int

Methods

finiteBitSize :: Int8 -> Int

countLeadingZeros :: Int8 -> Int

countTrailingZeros :: Int8 -> Int

Bounded Int8

Since: base-2.1

Defined in GHC.Int

Methods

minBound :: Int8

maxBound :: Int8

Enum Int8

Since: base-2.1

Defined in GHC.Int

Methods

succ :: Int8 -> Int8

pred :: Int8 -> Int8

toEnum :: Int -> Int8

fromEnum :: Int8 -> Int

enumFrom :: Int8 -> [Int8]

enumFromThen :: Int8 -> Int8 -> [Int8]

enumFromTo :: Int8 -> Int8 -> [Int8]

enumFromThenTo :: Int8 -> Int8 -> Int8 -> [Int8]

Ix Int8

Since: base-2.1

Defined in GHC.Int

Methods

range :: (Int8, Int8) -> [Int8]

index :: (Int8, Int8) -> Int8 -> Int

unsafeIndex :: (Int8, Int8) -> Int8 -> Int

inRange :: (Int8, Int8) -> Int8 -> Bool

rangeSize :: (Int8, Int8) -> Int

unsafeRangeSize :: (Int8, Int8) -> Int

Num Int8

Since: base-2.1

Defined in GHC.Int

Methods

(+) :: Int8 -> Int8 -> Int8

(-) :: Int8 -> Int8 -> Int8

(*) :: Int8 -> Int8 -> Int8

negate :: Int8 -> Int8

abs :: Int8 -> Int8

signum :: Int8 -> Int8

fromInteger :: Integer -> Int8

Read Int8

Since: base-2.1

Defined in GHC.Int

Methods

readsPrec :: Int -> ReadS Int8

readList :: ReadS [Int8]

readPrec :: ReadPrec Int8

readListPrec :: ReadPrec [Int8]

Integral Int8

Since: base-2.1

Defined in GHC.Int

Methods

quot :: Int8 -> Int8 -> Int8

rem :: Int8 -> Int8 -> Int8

div :: Int8 -> Int8 -> Int8

mod :: Int8 -> Int8 -> Int8

quotRem :: Int8 -> Int8 -> (Int8, Int8)

divMod :: Int8 -> Int8 -> (Int8, Int8)

toInteger :: Int8 -> Integer

Real Int8

Since: base-2.1

Defined in GHC.Int

Methods

toRational :: Int8 -> Rational

Show Int8

Since: base-2.1

Defined in GHC.Int

Methods

showsPrec :: Int -> Int8 -> ShowS

show :: Int8 -> String

showList :: [Int8] -> ShowS

NFData Int8

Defined in Control.DeepSeq

Methods

rnf :: Int8 -> ()

Eq Int8

Since: base-2.1

Defined in GHC.Int

Methods

(==) :: Int8 -> Int8 -> Bool

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

Ord Int8

Since: base-2.1

Defined in GHC.Int

Methods

compare :: Int8 -> Int8 -> Ordering

(<) :: Int8 -> Int8 -> Bool

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

(>) :: Int8 -> Int8 -> Bool

(>=) :: Int8 -> Int8 -> Bool

max :: Int8 -> Int8 -> Int8

min :: Int8 -> Int8 -> Int8

Hashable Int8

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> Int8 -> Int

hash :: Int8 -> Int

Lift Int8

Defined in Language.Haskell.TH.Syntax

Methods

lift :: Quote m => Int8 -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Int8 -> Code m Int8

KnownSymbol name => KnownColumn (Column name Int8)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name Int8)] -> Column (GetColumnName (Column name Int8)) (GetColumnType (Column name Int8))

type ToChTypeName Int8

Defined in ClickHaskell

type ToChTypeName Int8 = "Int8"

data Int16

16-bit signed integer type

Instances

IsChType Int16

Defined in ClickHaskell

Associated Types

type ToChTypeName Int16 :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: Int16

ToQueryPart Int16

Defined in ClickHaskell

Methods

toQueryPart :: Int16 -> Builder

Bits Int16

Since: base-2.1

Defined in GHC.Int

Methods

(.&.) :: Int16 -> Int16 -> Int16

(.|.) :: Int16 -> Int16 -> Int16

xor :: Int16 -> Int16 -> Int16

complement :: Int16 -> Int16

shift :: Int16 -> Int -> Int16

rotate :: Int16 -> Int -> Int16

zeroBits :: Int16

bit :: Int -> Int16

setBit :: Int16 -> Int -> Int16

clearBit :: Int16 -> Int -> Int16

complementBit :: Int16 -> Int -> Int16

testBit :: Int16 -> Int -> Bool

bitSizeMaybe :: Int16 -> Maybe Int

bitSize :: Int16 -> Int

isSigned :: Int16 -> Bool

shiftL :: Int16 -> Int -> Int16

unsafeShiftL :: Int16 -> Int -> Int16

shiftR :: Int16 -> Int -> Int16

unsafeShiftR :: Int16 -> Int -> Int16

rotateL :: Int16 -> Int -> Int16

rotateR :: Int16 -> Int -> Int16

popCount :: Int16 -> Int

FiniteBits Int16

Since: base-4.6.0.0

Defined in GHC.Int

Methods

finiteBitSize :: Int16 -> Int

countLeadingZeros :: Int16 -> Int

countTrailingZeros :: Int16 -> Int

Bounded Int16

Since: base-2.1

Defined in GHC.Int

Methods

minBound :: Int16

maxBound :: Int16

Enum Int16

Since: base-2.1

Defined in GHC.Int

Methods

succ :: Int16 -> Int16

pred :: Int16 -> Int16

toEnum :: Int -> Int16

fromEnum :: Int16 -> Int

enumFrom :: Int16 -> [Int16]

enumFromThen :: Int16 -> Int16 -> [Int16]

enumFromTo :: Int16 -> Int16 -> [Int16]

enumFromThenTo :: Int16 -> Int16 -> Int16 -> [Int16]

Ix Int16

Since: base-2.1

Defined in GHC.Int

Methods

range :: (Int16, Int16) -> [Int16]

index :: (Int16, Int16) -> Int16 -> Int

unsafeIndex :: (Int16, Int16) -> Int16 -> Int

inRange :: (Int16, Int16) -> Int16 -> Bool

rangeSize :: (Int16, Int16) -> Int

unsafeRangeSize :: (Int16, Int16) -> Int

Num Int16

Since: base-2.1

Defined in GHC.Int

Methods

(+) :: Int16 -> Int16 -> Int16

(-) :: Int16 -> Int16 -> Int16

(*) :: Int16 -> Int16 -> Int16

negate :: Int16 -> Int16

abs :: Int16 -> Int16

signum :: Int16 -> Int16

fromInteger :: Integer -> Int16

Read Int16

Since: base-2.1

Defined in GHC.Int

Methods

readsPrec :: Int -> ReadS Int16

readList :: ReadS [Int16]

readPrec :: ReadPrec Int16

readListPrec :: ReadPrec [Int16]

Integral Int16

Since: base-2.1

Defined in GHC.Int

Methods

quot :: Int16 -> Int16 -> Int16

rem :: Int16 -> Int16 -> Int16

div :: Int16 -> Int16 -> Int16

mod :: Int16 -> Int16 -> Int16

quotRem :: Int16 -> Int16 -> (Int16, Int16)

divMod :: Int16 -> Int16 -> (Int16, Int16)

toInteger :: Int16 -> Integer

Real Int16

Since: base-2.1

Defined in GHC.Int

Methods

toRational :: Int16 -> Rational

Show Int16

Since: base-2.1

Defined in GHC.Int

Methods

showsPrec :: Int -> Int16 -> ShowS

show :: Int16 -> String

showList :: [Int16] -> ShowS

NFData Int16

Defined in Control.DeepSeq

Methods

rnf :: Int16 -> ()

Eq Int16

Since: base-2.1

Defined in GHC.Int

Methods

(==) :: Int16 -> Int16 -> Bool

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

Ord Int16

Since: base-2.1

Defined in GHC.Int

Methods

compare :: Int16 -> Int16 -> Ordering

(<) :: Int16 -> Int16 -> Bool

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

(>) :: Int16 -> Int16 -> Bool

(>=) :: Int16 -> Int16 -> Bool

max :: Int16 -> Int16 -> Int16

min :: Int16 -> Int16 -> Int16

Hashable Int16

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> Int16 -> Int

hash :: Int16 -> Int

Lift Int16

Defined in Language.Haskell.TH.Syntax

Methods

lift :: Quote m => Int16 -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Int16 -> Code m Int16

KnownSymbol name => KnownColumn (Column name Int16)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name Int16)] -> Column (GetColumnName (Column name Int16)) (GetColumnType (Column name Int16))

type ToChTypeName Int16

Defined in ClickHaskell

type ToChTypeName Int16 = "Int16"

data Int32

32-bit signed integer type

Instances

IsChType Int32

Defined in ClickHaskell

Associated Types

type ToChTypeName Int32 :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: Int32

ToQueryPart Int32

Defined in ClickHaskell

Methods

toQueryPart :: Int32 -> Builder

Bits Int32

Since: base-2.1

Defined in GHC.Int

Methods

(.&.) :: Int32 -> Int32 -> Int32

(.|.) :: Int32 -> Int32 -> Int32

xor :: Int32 -> Int32 -> Int32

complement :: Int32 -> Int32

shift :: Int32 -> Int -> Int32

rotate :: Int32 -> Int -> Int32

zeroBits :: Int32

bit :: Int -> Int32

setBit :: Int32 -> Int -> Int32

clearBit :: Int32 -> Int -> Int32

complementBit :: Int32 -> Int -> Int32

testBit :: Int32 -> Int -> Bool

bitSizeMaybe :: Int32 -> Maybe Int

bitSize :: Int32 -> Int

isSigned :: Int32 -> Bool

shiftL :: Int32 -> Int -> Int32

unsafeShiftL :: Int32 -> Int -> Int32

shiftR :: Int32 -> Int -> Int32

unsafeShiftR :: Int32 -> Int -> Int32

rotateL :: Int32 -> Int -> Int32

rotateR :: Int32 -> Int -> Int32

popCount :: Int32 -> Int

FiniteBits Int32

Since: base-4.6.0.0

Defined in GHC.Int

Methods

finiteBitSize :: Int32 -> Int

countLeadingZeros :: Int32 -> Int

countTrailingZeros :: Int32 -> Int

Bounded Int32

Since: base-2.1

Defined in GHC.Int

Methods

minBound :: Int32

maxBound :: Int32

Enum Int32

Since: base-2.1

Defined in GHC.Int

Methods

succ :: Int32 -> Int32

pred :: Int32 -> Int32

toEnum :: Int -> Int32

fromEnum :: Int32 -> Int

enumFrom :: Int32 -> [Int32]

enumFromThen :: Int32 -> Int32 -> [Int32]

enumFromTo :: Int32 -> Int32 -> [Int32]

enumFromThenTo :: Int32 -> Int32 -> Int32 -> [Int32]

Ix Int32

Since: base-2.1

Defined in GHC.Int

Methods

range :: (Int32, Int32) -> [Int32]

index :: (Int32, Int32) -> Int32 -> Int

unsafeIndex :: (Int32, Int32) -> Int32 -> Int

inRange :: (Int32, Int32) -> Int32 -> Bool

rangeSize :: (Int32, Int32) -> Int

unsafeRangeSize :: (Int32, Int32) -> Int

Num Int32

Since: base-2.1

Defined in GHC.Int

Methods

(+) :: Int32 -> Int32 -> Int32

(-) :: Int32 -> Int32 -> Int32

(*) :: Int32 -> Int32 -> Int32

negate :: Int32 -> Int32

abs :: Int32 -> Int32

signum :: Int32 -> Int32

fromInteger :: Integer -> Int32

Read Int32

Since: base-2.1

Defined in GHC.Int

Methods

readsPrec :: Int -> ReadS Int32

readList :: ReadS [Int32]

readPrec :: ReadPrec Int32

readListPrec :: ReadPrec [Int32]

Integral Int32

Since: base-2.1

Defined in GHC.Int

Methods

quot :: Int32 -> Int32 -> Int32

rem :: Int32 -> Int32 -> Int32

div :: Int32 -> Int32 -> Int32

mod :: Int32 -> Int32 -> Int32

quotRem :: Int32 -> Int32 -> (Int32, Int32)

divMod :: Int32 -> Int32 -> (Int32, Int32)

toInteger :: Int32 -> Integer

Real Int32

Since: base-2.1

Defined in GHC.Int

Methods

toRational :: Int32 -> Rational

Show Int32

Since: base-2.1

Defined in GHC.Int

Methods

showsPrec :: Int -> Int32 -> ShowS

show :: Int32 -> String

showList :: [Int32] -> ShowS

NFData Int32

Defined in Control.DeepSeq

Methods

rnf :: Int32 -> ()

Eq Int32

Since: base-2.1

Defined in GHC.Int

Methods

(==) :: Int32 -> Int32 -> Bool

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

Ord Int32

Since: base-2.1

Defined in GHC.Int

Methods

compare :: Int32 -> Int32 -> Ordering

(<) :: Int32 -> Int32 -> Bool

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

(>) :: Int32 -> Int32 -> Bool

(>=) :: Int32 -> Int32 -> Bool

max :: Int32 -> Int32 -> Int32

min :: Int32 -> Int32 -> Int32

Hashable Int32

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> Int32 -> Int

hash :: Int32 -> Int

Lift Int32

Defined in Language.Haskell.TH.Syntax

Methods

lift :: Quote m => Int32 -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Int32 -> Code m Int32

KnownSymbol name => KnownColumn (Column name Int32)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name Int32)] -> Column (GetColumnName (Column name Int32)) (GetColumnType (Column name Int32))

type ToChTypeName Int32

Defined in ClickHaskell

type ToChTypeName Int32 = "Int32"

data Int64

64-bit signed integer type

Instances

IsChType Int64

Defined in ClickHaskell

Associated Types

type ToChTypeName Int64 :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: Int64

ToQueryPart Int64

Defined in ClickHaskell

Methods

toQueryPart :: Int64 -> Builder

Bits Int64

Since: base-2.1

Defined in GHC.Int

Methods

(.&.) :: Int64 -> Int64 -> Int64

(.|.) :: Int64 -> Int64 -> Int64

xor :: Int64 -> Int64 -> Int64

complement :: Int64 -> Int64

shift :: Int64 -> Int -> Int64

rotate :: Int64 -> Int -> Int64

zeroBits :: Int64

bit :: Int -> Int64

setBit :: Int64 -> Int -> Int64

clearBit :: Int64 -> Int -> Int64

complementBit :: Int64 -> Int -> Int64

testBit :: Int64 -> Int -> Bool

bitSizeMaybe :: Int64 -> Maybe Int

bitSize :: Int64 -> Int

isSigned :: Int64 -> Bool

shiftL :: Int64 -> Int -> Int64

unsafeShiftL :: Int64 -> Int -> Int64

shiftR :: Int64 -> Int -> Int64

unsafeShiftR :: Int64 -> Int -> Int64

rotateL :: Int64 -> Int -> Int64

rotateR :: Int64 -> Int -> Int64

popCount :: Int64 -> Int

FiniteBits Int64

Since: base-4.6.0.0

Defined in GHC.Int

Methods

finiteBitSize :: Int64 -> Int

countLeadingZeros :: Int64 -> Int

countTrailingZeros :: Int64 -> Int

Bounded Int64

Since: base-2.1

Defined in GHC.Int

Methods

minBound :: Int64

maxBound :: Int64

Enum Int64

Since: base-2.1

Defined in GHC.Int

Methods

succ :: Int64 -> Int64

pred :: Int64 -> Int64

toEnum :: Int -> Int64

fromEnum :: Int64 -> Int

enumFrom :: Int64 -> [Int64]

enumFromThen :: Int64 -> Int64 -> [Int64]

enumFromTo :: Int64 -> Int64 -> [Int64]

enumFromThenTo :: Int64 -> Int64 -> Int64 -> [Int64]

Ix Int64

Since: base-2.1

Defined in GHC.Int

Methods

range :: (Int64, Int64) -> [Int64]

index :: (Int64, Int64) -> Int64 -> Int

unsafeIndex :: (Int64, Int64) -> Int64 -> Int

inRange :: (Int64, Int64) -> Int64 -> Bool

rangeSize :: (Int64, Int64) -> Int

unsafeRangeSize :: (Int64, Int64) -> Int

Num Int64

Since: base-2.1

Defined in GHC.Int

Methods

(+) :: Int64 -> Int64 -> Int64

(-) :: Int64 -> Int64 -> Int64

(*) :: Int64 -> Int64 -> Int64

negate :: Int64 -> Int64

abs :: Int64 -> Int64

signum :: Int64 -> Int64

fromInteger :: Integer -> Int64

Read Int64

Since: base-2.1

Defined in GHC.Int

Methods

readsPrec :: Int -> ReadS Int64

readList :: ReadS [Int64]

readPrec :: ReadPrec Int64

readListPrec :: ReadPrec [Int64]

Integral Int64

Since: base-2.1

Defined in GHC.Int

Methods

quot :: Int64 -> Int64 -> Int64

rem :: Int64 -> Int64 -> Int64

div :: Int64 -> Int64 -> Int64

mod :: Int64 -> Int64 -> Int64

quotRem :: Int64 -> Int64 -> (Int64, Int64)

divMod :: Int64 -> Int64 -> (Int64, Int64)

toInteger :: Int64 -> Integer

Real Int64

Since: base-2.1

Defined in GHC.Int

Methods

toRational :: Int64 -> Rational

Show Int64

Since: base-2.1

Defined in GHC.Int

Methods

showsPrec :: Int -> Int64 -> ShowS

show :: Int64 -> String

showList :: [Int64] -> ShowS

NFData Int64

Defined in Control.DeepSeq

Methods

rnf :: Int64 -> ()

Eq Int64

Since: base-2.1

Defined in GHC.Int

Methods

(==) :: Int64 -> Int64 -> Bool

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

Ord Int64

Since: base-2.1

Defined in GHC.Int

Methods

compare :: Int64 -> Int64 -> Ordering

(<) :: Int64 -> Int64 -> Bool

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

(>) :: Int64 -> Int64 -> Bool

(>=) :: Int64 -> Int64 -> Bool

max :: Int64 -> Int64 -> Int64

min :: Int64 -> Int64 -> Int64

Hashable Int64

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> Int64 -> Int

hash :: Int64 -> Int

ToChType Int64 Int

Defined in ClickHaskell

Methods

toChType :: Int -> Int64

Lift Int64

Defined in Language.Haskell.TH.Syntax

Methods

lift :: Quote m => Int64 -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Int64 -> Code m Int64

KnownSymbol name => KnownColumn (Column name Int64)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name Int64)] -> Column (GetColumnName (Column name Int64)) (GetColumnType (Column name Int64))

type ToChTypeName Int64

Defined in ClickHaskell

type ToChTypeName Int64 = "Int64"

type UInt8 = Word8

ClickHouse UInt8 column type

type UInt16 = Word16

ClickHouse UInt16 column type

type UInt32 = Word32

ClickHouse UInt32 column type

type UInt64 = Word64

ClickHouse UInt64 column type

type UInt128 = Word128

ClickHouse UInt128 column type

type Nullable = Maybe

ClickHouse Nullable(T) column type (type synonym for Maybe)

data LowCardinality chType

ClickHouse LowCardinality(T) column type

Instances

FromChType chType (LowCardinality chType)

Defined in ClickHaskell

Methods

fromChType :: chType -> LowCardinality chType

(IsLowCardinalitySupported chType, KnownSymbol (AppendSymbol (AppendSymbol "LowCardinality(" (ToChTypeName chType)) ")")) => IsChType (LowCardinality chType)

Defined in ClickHaskell

Associated Types

type ToChTypeName (LowCardinality chType) :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: LowCardinality chType

ToQueryPart chType => ToQueryPart (LowCardinality chType)

Defined in ClickHaskell

Methods

toQueryPart :: LowCardinality chType -> Builder

IsString (LowCardinality ChString)

Defined in ClickHaskell

Methods

fromString :: String -> LowCardinality ChString

(Show chType, IsLowCardinalitySupported chType) => Show (LowCardinality chType)

Defined in ClickHaskell

Methods

showsPrec :: Int -> LowCardinality chType -> ShowS

show :: LowCardinality chType -> String

showList :: [LowCardinality chType] -> ShowS

(NFData chType, IsLowCardinalitySupported chType) => NFData (LowCardinality chType)

Defined in ClickHaskell

Methods

rnf :: LowCardinality chType -> ()

(Eq chType, IsLowCardinalitySupported chType) => Eq (LowCardinality chType)

Defined in ClickHaskell

Methods

(==) :: LowCardinality chType -> LowCardinality chType -> Bool

(/=) :: LowCardinality chType -> LowCardinality chType -> Bool

FromChType chType outputType => FromChType (LowCardinality chType) outputType

Defined in ClickHaskell

Methods

fromChType :: LowCardinality chType -> outputType

ToChType inputType chType => ToChType (LowCardinality inputType) chType

Defined in ClickHaskell

Methods

toChType :: chType -> LowCardinality inputType

(KnownColumn (Column name (LowCardinality chType)), Deserializable chType, ToChType (LowCardinality chType) chType, IsLowCardinalitySupported chType, TypeError ('Text "LowCardinality deserialization still unsupported") :: Constraint) => DeserializableColumn (Column name (LowCardinality chType))

Defined in ClickHaskell

Methods

deserializeColumn :: ProtocolRevision -> Bool -> UVarInt -> Get (Column name (LowCardinality chType))

(KnownSymbol name, IsChType (LowCardinality chType), IsLowCardinalitySupported chType) => KnownColumn (Column name (LowCardinality chType))

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name (LowCardinality chType))] -> Column (GetColumnName (Column name (LowCardinality chType))) (GetColumnType (Column name (LowCardinality chType)))

type ToChTypeName (LowCardinality chType)

Defined in ClickHaskell

type ToChTypeName (LowCardinality chType) = AppendSymbol (AppendSymbol "LowCardinality(" (ToChTypeName chType)) ")"

class IsChType chType => IsLowCardinalitySupported chType

Instances

IsLowCardinalitySupported ChString

Defined in ClickHaskell

(IsChType chType, TypeError (((((('Text "LowCardinality(" ':<>: 'ShowType chType) ':<>: 'Text ") is unsupported") ':$$: 'Text "Use one of these types:") ':$$: 'Text " ChString") ':$$: 'Text " DateTime") ':$$: 'Text " Nullable(T)") :: Constraint) => IsLowCardinalitySupported chType

Defined in ClickHaskell

(IsLowCardinalitySupported chType, IsChType (Nullable chType)) => IsLowCardinalitySupported (Nullable chType)

Defined in ClickHaskell

type ChDate = Date

Deprecated: Ch prefixed types are deprecated. Use Date instead

type ChDateTime = DateTime

Deprecated: Ch prefixed types are deprecated. Use DateTime instead

type ChUInt8 = UInt8

Deprecated: Ch prefixed types are deprecated. Use UInt8 instead

type ChUInt16 = UInt16

Deprecated: Ch prefixed types are deprecated. Use UInt16 instead

type ChUInt32 = UInt32

Deprecated: Ch prefixed types are deprecated. Use UInt32 instead

type ChUInt64 = UInt64

Deprecated: Ch prefixed types are deprecated. Use UInt64 instead

type ChUInt128 = UInt128

Deprecated: Ch prefixed types are deprecated. Use UInt128 instead

type ChInt8 = Int8

Deprecated: Ch prefixed types are deprecated. Use Int8 instead

type ChInt16 = Int16

Deprecated: Ch prefixed types are deprecated. Use Int16 instead

type ChInt32 = Int32

Deprecated: Ch prefixed types are deprecated. Use Int32 instead

type ChInt64 = Int64

Deprecated: Ch prefixed types are deprecated. Use Int64 instead

type ChInt128 = Int128

Deprecated: Ch prefixed types are deprecated. Use Int128 instead

newtype ChString

ClickHouse String column type

Constructors

MkChString StrictByteString

Instances

IsChType ChString

Defined in ClickHaskell

Associated Types

type ToChTypeName ChString :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: ChString

IsLowCardinalitySupported ChString

Defined in ClickHaskell

ToQueryPart ChString

Defined in ClickHaskell

Methods

toQueryPart :: ChString -> Builder

IsString ChString

Defined in ClickHaskell

Methods

fromString :: String -> ChString

Show ChString

Defined in ClickHaskell

Methods

showsPrec :: Int -> ChString -> ShowS

show :: ChString -> String

showList :: [ChString] -> ShowS

NFData ChString

Defined in ClickHaskell

Methods

rnf :: ChString -> ()

Eq ChString

Defined in ClickHaskell

Methods

(==) :: ChString -> ChString -> Bool

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

FromChType ChString Builder

Defined in ClickHaskell

Methods

fromChType :: ChString -> Builder

FromChType ChString StrictByteString

Defined in ClickHaskell

Methods

fromChType :: ChString -> StrictByteString

(TypeError ('Text "ChString to Text using FromChType convertion could cause exception" ':$$: 'Text "Decode ByteString manually if you are sure it's always can be decoded or replace it with ByteString") :: Constraint) => FromChType ChString Text

Defined in ClickHaskell

Methods

fromChType :: ChString -> Text

ToChType ChString Builder

Defined in ClickHaskell

Methods

toChType :: Builder -> ChString

ToChType ChString StrictByteString

Defined in ClickHaskell

Methods

toChType :: StrictByteString -> ChString

ToChType ChString Text

Defined in ClickHaskell

Methods

toChType :: Text -> ChString

ToChType ChString String

Defined in ClickHaskell

Methods

toChType :: String -> ChString

ToChType ChString Int

Defined in ClickHaskell

Methods

toChType :: Int -> ChString

IsString (LowCardinality ChString)

Defined in ClickHaskell

Methods

fromString :: String -> LowCardinality ChString

KnownSymbol name => KnownColumn (Column name (ChArray ChString))

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name (ChArray ChString))] -> Column (GetColumnName (Column name (ChArray ChString))) (GetColumnType (Column name (ChArray ChString)))

KnownSymbol name => KnownColumn (Column name ChString)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name ChString)] -> Column (GetColumnName (Column name ChString)) (GetColumnType (Column name ChString))

type ToChTypeName ChString

Defined in ClickHaskell

type ToChTypeName ChString = "String"

newtype ChUUID

ClickHouse UUID column type

Constructors

MkChUUID Word128

Instances

IsChType ChUUID

Defined in ClickHaskell

Associated Types

type ToChTypeName ChUUID :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: ChUUID

ToQueryPart ChUUID

Defined in ClickHaskell

Methods

toQueryPart :: ChUUID -> Builder

Bounded ChUUID

Defined in ClickHaskell

Methods

minBound :: ChUUID

maxBound :: ChUUID

Enum ChUUID

Defined in ClickHaskell

Methods

succ :: ChUUID -> ChUUID

pred :: ChUUID -> ChUUID

toEnum :: Int -> ChUUID

fromEnum :: ChUUID -> Int

enumFrom :: ChUUID -> [ChUUID]

enumFromThen :: ChUUID -> ChUUID -> [ChUUID]

enumFromTo :: ChUUID -> ChUUID -> [ChUUID]

enumFromThenTo :: ChUUID -> ChUUID -> ChUUID -> [ChUUID]

Generic ChUUID

Defined in ClickHaskell

Associated Types

type Rep ChUUID :: Type -> Type

Methods

from :: ChUUID -> Rep ChUUID x

to :: Rep ChUUID x -> ChUUID

Show ChUUID

Defined in ClickHaskell

Methods

showsPrec :: Int -> ChUUID -> ShowS

show :: ChUUID -> String

showList :: [ChUUID] -> ShowS

NFData ChUUID

Defined in ClickHaskell

Methods

rnf :: ChUUID -> ()

Eq ChUUID

Defined in ClickHaskell

Methods

(==) :: ChUUID -> ChUUID -> Bool

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

ToChType ChUUID Word64

Defined in ClickHaskell

Methods

toChType :: Word64 -> ChUUID

FromChType ChUUID (Word64, Word64)

Defined in ClickHaskell

Methods

fromChType :: ChUUID -> (Word64, Word64)

ToChType ChUUID (Word64, Word64)

Defined in ClickHaskell

Methods

toChType :: (Word64, Word64) -> ChUUID

KnownSymbol name => KnownColumn (Column name ChUUID)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name ChUUID)] -> Column (GetColumnName (Column name ChUUID)) (GetColumnType (Column name ChUUID))

type ToChTypeName ChUUID

Defined in ClickHaskell

type ToChTypeName ChUUID = "UUID"

type Rep ChUUID

Defined in ClickHaskell

type Rep ChUUID = Rep Word128

newtype ChArray a

Constructors

MkChArray [a]

Instances

KnownSymbol (AppendSymbol (AppendSymbol "Array(" (ToChTypeName chType)) ")") => IsChType (ChArray chType)

Defined in ClickHaskell

Associated Types

type ToChTypeName (ChArray chType) :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: ChArray chType

(IsChType chType, ToQueryPart chType) => ToQueryPart (ChArray chType)

Defined in ClickHaskell

Methods

toQueryPart :: ChArray chType -> Builder

Show a => Show (ChArray a)

Defined in ClickHaskell

Methods

showsPrec :: Int -> ChArray a -> ShowS

show :: ChArray a -> String

showList :: [ChArray a] -> ShowS

NFData a => NFData (ChArray a)

Defined in ClickHaskell

Methods

rnf :: ChArray a -> ()

Eq a => Eq (ChArray a)

Defined in ClickHaskell

Methods

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

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

FromChType chType inputType => FromChType (ChArray chType) [inputType]

Defined in ClickHaskell

Methods

fromChType :: ChArray chType -> [inputType]

ToChType chType inputType => ToChType (ChArray chType) [inputType]

Defined in ClickHaskell

Methods

toChType :: [inputType] -> ChArray chType

(KnownColumn (Column name (ChArray chType)), Deserializable chType, TypeError ('Text "Arrays deserialization still unsupported") :: Constraint) => DeserializableColumn (Column name (ChArray chType))

Defined in ClickHaskell

Methods

deserializeColumn :: ProtocolRevision -> Bool -> UVarInt -> Get (Column name (ChArray chType))

KnownSymbol name => KnownColumn (Column name (ChArray ChString))

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name (ChArray ChString))] -> Column (GetColumnName (Column name (ChArray ChString))) (GetColumnType (Column name (ChArray ChString)))

type ToChTypeName (ChArray chType)

Defined in ClickHaskell

type ToChTypeName (ChArray chType) = AppendSymbol (AppendSymbol "Array(" (ToChTypeName chType)) ")"

newtype UVarInt

Unsigned variable-length quantity encoding

Part of protocol implementation

Constructors

MkUVarInt Word64

Instances

Bits UVarInt

Defined in ClickHaskell

Methods

(.&.) :: UVarInt -> UVarInt -> UVarInt

(.|.) :: UVarInt -> UVarInt -> UVarInt

xor :: UVarInt -> UVarInt -> UVarInt

complement :: UVarInt -> UVarInt

shift :: UVarInt -> Int -> UVarInt

rotate :: UVarInt -> Int -> UVarInt

zeroBits :: UVarInt

bit :: Int -> UVarInt

setBit :: UVarInt -> Int -> UVarInt

clearBit :: UVarInt -> Int -> UVarInt

complementBit :: UVarInt -> Int -> UVarInt

testBit :: UVarInt -> Int -> Bool

bitSizeMaybe :: UVarInt -> Maybe Int

bitSize :: UVarInt -> Int

isSigned :: UVarInt -> Bool

shiftL :: UVarInt -> Int -> UVarInt

unsafeShiftL :: UVarInt -> Int -> UVarInt

shiftR :: UVarInt -> Int -> UVarInt

unsafeShiftR :: UVarInt -> Int -> UVarInt

rotateL :: UVarInt -> Int -> UVarInt

rotateR :: UVarInt -> Int -> UVarInt

popCount :: UVarInt -> Int

Bounded UVarInt

Defined in ClickHaskell

Methods

minBound :: UVarInt

maxBound :: UVarInt

Enum UVarInt

Defined in ClickHaskell

Methods

succ :: UVarInt -> UVarInt

pred :: UVarInt -> UVarInt

toEnum :: Int -> UVarInt

fromEnum :: UVarInt -> Int

enumFrom :: UVarInt -> [UVarInt]

enumFromThen :: UVarInt -> UVarInt -> [UVarInt]

enumFromTo :: UVarInt -> UVarInt -> [UVarInt]

enumFromThenTo :: UVarInt -> UVarInt -> UVarInt -> [UVarInt]

Num UVarInt

Defined in ClickHaskell

Methods

(+) :: UVarInt -> UVarInt -> UVarInt

(-) :: UVarInt -> UVarInt -> UVarInt

(*) :: UVarInt -> UVarInt -> UVarInt

negate :: UVarInt -> UVarInt

abs :: UVarInt -> UVarInt

signum :: UVarInt -> UVarInt

fromInteger :: Integer -> UVarInt

Integral UVarInt

Defined in ClickHaskell

Methods

quot :: UVarInt -> UVarInt -> UVarInt

rem :: UVarInt -> UVarInt -> UVarInt

div :: UVarInt -> UVarInt -> UVarInt

mod :: UVarInt -> UVarInt -> UVarInt

quotRem :: UVarInt -> UVarInt -> (UVarInt, UVarInt)

divMod :: UVarInt -> UVarInt -> (UVarInt, UVarInt)

toInteger :: UVarInt -> Integer

Real UVarInt

Defined in ClickHaskell

Methods

toRational :: UVarInt -> Rational

Show UVarInt

Defined in ClickHaskell

Methods

showsPrec :: Int -> UVarInt -> ShowS

show :: UVarInt -> String

showList :: [UVarInt] -> ShowS

NFData UVarInt

Defined in ClickHaskell

Methods

rnf :: UVarInt -> ()

Eq UVarInt

Defined in ClickHaskell

Methods

(==) :: UVarInt -> UVarInt -> Bool

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

Ord UVarInt

Defined in ClickHaskell

Methods

compare :: UVarInt -> UVarInt -> Ordering

(<) :: UVarInt -> UVarInt -> Bool

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

(>) :: UVarInt -> UVarInt -> Bool

(>=) :: UVarInt -> UVarInt -> Bool

max :: UVarInt -> UVarInt -> UVarInt

min :: UVarInt -> UVarInt -> UVarInt

data Word128

Constructors

Word128

Fields

• word128Hi64 :: !Word64
• word128Lo64 :: !Word64

Instances

IsChType UInt128

Defined in ClickHaskell

Associated Types

type ToChTypeName UInt128 :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: UInt128

ToQueryPart UInt128

Defined in ClickHaskell

Methods

toQueryPart :: UInt128 -> Builder

Data Word128

Defined in Data.WideWord.Word128

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Word128 -> c Word128

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word128

toConstr :: Word128 -> Constr

dataTypeOf :: Word128 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word128)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Word128)

gmapT :: (forall b. Data b => b -> b) -> Word128 -> Word128

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word128 -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word128 -> r

gmapQ :: (forall d. Data d => d -> u) -> Word128 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word128 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word128 -> m Word128

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word128 -> m Word128

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word128 -> m Word128

Storable Word128

Defined in Data.WideWord.Word128

Methods

sizeOf :: Word128 -> Int

alignment :: Word128 -> Int

peekElemOff :: Ptr Word128 -> Int -> IO Word128

pokeElemOff :: Ptr Word128 -> Int -> Word128 -> IO ()

peekByteOff :: Ptr b -> Int -> IO Word128

pokeByteOff :: Ptr b -> Int -> Word128 -> IO ()

peek :: Ptr Word128 -> IO Word128

poke :: Ptr Word128 -> Word128 -> IO ()

Bits Word128

Defined in Data.WideWord.Word128

Methods

(.&.) :: Word128 -> Word128 -> Word128

(.|.) :: Word128 -> Word128 -> Word128

xor :: Word128 -> Word128 -> Word128

complement :: Word128 -> Word128

shift :: Word128 -> Int -> Word128

rotate :: Word128 -> Int -> Word128

zeroBits :: Word128

bit :: Int -> Word128

setBit :: Word128 -> Int -> Word128

clearBit :: Word128 -> Int -> Word128

complementBit :: Word128 -> Int -> Word128

testBit :: Word128 -> Int -> Bool

bitSizeMaybe :: Word128 -> Maybe Int

bitSize :: Word128 -> Int

isSigned :: Word128 -> Bool

shiftL :: Word128 -> Int -> Word128

unsafeShiftL :: Word128 -> Int -> Word128

shiftR :: Word128 -> Int -> Word128

unsafeShiftR :: Word128 -> Int -> Word128

rotateL :: Word128 -> Int -> Word128

rotateR :: Word128 -> Int -> Word128

popCount :: Word128 -> Int

FiniteBits Word128

Defined in Data.WideWord.Word128

Methods

finiteBitSize :: Word128 -> Int

countLeadingZeros :: Word128 -> Int

countTrailingZeros :: Word128 -> Int

Bounded Word128

Defined in Data.WideWord.Word128

Methods

minBound :: Word128

maxBound :: Word128

Enum Word128

Defined in Data.WideWord.Word128

Methods

succ :: Word128 -> Word128

pred :: Word128 -> Word128

toEnum :: Int -> Word128

fromEnum :: Word128 -> Int

enumFrom :: Word128 -> [Word128]

enumFromThen :: Word128 -> Word128 -> [Word128]

enumFromTo :: Word128 -> Word128 -> [Word128]

enumFromThenTo :: Word128 -> Word128 -> Word128 -> [Word128]

Generic Word128

Defined in Data.WideWord.Word128

Associated Types

type Rep Word128 :: Type -> Type

Methods

from :: Word128 -> Rep Word128 x

to :: Rep Word128 x -> Word128

Ix Word128

Defined in Data.WideWord.Word128

Methods

range :: (Word128, Word128) -> [Word128]

index :: (Word128, Word128) -> Word128 -> Int

unsafeIndex :: (Word128, Word128) -> Word128 -> Int

inRange :: (Word128, Word128) -> Word128 -> Bool

rangeSize :: (Word128, Word128) -> Int

unsafeRangeSize :: (Word128, Word128) -> Int

Num Word128

Defined in Data.WideWord.Word128

Methods

(+) :: Word128 -> Word128 -> Word128

(-) :: Word128 -> Word128 -> Word128

(*) :: Word128 -> Word128 -> Word128

negate :: Word128 -> Word128

abs :: Word128 -> Word128

signum :: Word128 -> Word128

fromInteger :: Integer -> Word128

Read Word128

Defined in Data.WideWord.Word128

Methods

readsPrec :: Int -> ReadS Word128

readList :: ReadS [Word128]

readPrec :: ReadPrec Word128

readListPrec :: ReadPrec [Word128]

Integral Word128

Defined in Data.WideWord.Word128

Methods

quot :: Word128 -> Word128 -> Word128

rem :: Word128 -> Word128 -> Word128

div :: Word128 -> Word128 -> Word128

mod :: Word128 -> Word128 -> Word128

quotRem :: Word128 -> Word128 -> (Word128, Word128)

divMod :: Word128 -> Word128 -> (Word128, Word128)

toInteger :: Word128 -> Integer

Real Word128

Defined in Data.WideWord.Word128

Methods

toRational :: Word128 -> Rational

Show Word128

Defined in Data.WideWord.Word128

Methods

showsPrec :: Int -> Word128 -> ShowS

show :: Word128 -> String

showList :: [Word128] -> ShowS

Binary Word128

Since: wide-word-0.1.5.0

Defined in Data.WideWord.Word128

Methods

put :: Word128 -> Put

get :: Get Word128

putList :: [Word128] -> Put

NFData Word128

Defined in Data.WideWord.Word128

Methods

rnf :: Word128 -> ()

Eq Word128

Defined in Data.WideWord.Word128

Methods

(==) :: Word128 -> Word128 -> Bool

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

Ord Word128

Defined in Data.WideWord.Word128

Methods

compare :: Word128 -> Word128 -> Ordering

(<) :: Word128 -> Word128 -> Bool

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

(>) :: Word128 -> Word128 -> Bool

(>=) :: Word128 -> Word128 -> Bool

max :: Word128 -> Word128 -> Word128

min :: Word128 -> Word128 -> Word128

Hashable Word128

Defined in Data.WideWord.Word128

Methods

hashWithSalt :: Int -> Word128 -> Int

hash :: Word128 -> Int

Prim Word128

Defined in Data.WideWord.Word128

Methods

sizeOf# :: Word128 -> Int#

alignment# :: Word128 -> Int#

indexByteArray# :: ByteArray# -> Int# -> Word128

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word128 #)

writeByteArray# :: MutableByteArray# s -> Int# -> Word128 -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word128 -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> Word128

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Word128 #)

writeOffAddr# :: Addr# -> Int# -> Word128 -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> Word128 -> State# s -> State# s

ToChType UInt128 UInt64

Defined in ClickHaskell

Methods

toChType :: UInt64 -> UInt128

KnownSymbol name => KnownColumn (Column name UInt128)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name UInt128)] -> Column (GetColumnName (Column name UInt128)) (GetColumnType (Column name UInt128))

type ToChTypeName UInt128

Defined in ClickHaskell

type ToChTypeName UInt128 = "UInt128"

type Rep Word128

Defined in Data.WideWord.Word128

type Rep Word128 = D1 ('MetaData "Word128" "Data.WideWord.Word128" "wide-word-0.1.6.0-Gy9UBPplZ5B4mxnX5SBk4B" 'False) (C1 ('MetaCons "Word128" 'PrefixI 'True) (S1 ('MetaSel ('Just "word128Hi64") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: S1 ('MetaSel ('Just "word128Lo64") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)))

data Int128

Constructors

Int128

Fields

• int128Hi64 :: !Word64
• int128Lo64 :: !Word64

Instances

IsChType Int128

Defined in ClickHaskell

Associated Types

type ToChTypeName Int128 :: Symbol

Methods

chTypeName :: Builder

defaultValueOfTypeName :: Int128

ToQueryPart Int128

Defined in ClickHaskell

Methods

toQueryPart :: Int128 -> Builder

Data Int128

Defined in Data.WideWord.Int128

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int128 -> c Int128

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int128

toConstr :: Int128 -> Constr

dataTypeOf :: Int128 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int128)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int128)

gmapT :: (forall b. Data b => b -> b) -> Int128 -> Int128

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int128 -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int128 -> r

gmapQ :: (forall d. Data d => d -> u) -> Int128 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int128 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int128 -> m Int128

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int128 -> m Int128

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int128 -> m Int128

Storable Int128

Defined in Data.WideWord.Int128

Methods

sizeOf :: Int128 -> Int

alignment :: Int128 -> Int

peekElemOff :: Ptr Int128 -> Int -> IO Int128

pokeElemOff :: Ptr Int128 -> Int -> Int128 -> IO ()

peekByteOff :: Ptr b -> Int -> IO Int128

pokeByteOff :: Ptr b -> Int -> Int128 -> IO ()

peek :: Ptr Int128 -> IO Int128

poke :: Ptr Int128 -> Int128 -> IO ()

Bits Int128

Defined in Data.WideWord.Int128

Methods

(.&.) :: Int128 -> Int128 -> Int128

(.|.) :: Int128 -> Int128 -> Int128

xor :: Int128 -> Int128 -> Int128

complement :: Int128 -> Int128

shift :: Int128 -> Int -> Int128

rotate :: Int128 -> Int -> Int128

zeroBits :: Int128

bit :: Int -> Int128

setBit :: Int128 -> Int -> Int128

clearBit :: Int128 -> Int -> Int128

complementBit :: Int128 -> Int -> Int128

testBit :: Int128 -> Int -> Bool

bitSizeMaybe :: Int128 -> Maybe Int

bitSize :: Int128 -> Int

isSigned :: Int128 -> Bool

shiftL :: Int128 -> Int -> Int128

unsafeShiftL :: Int128 -> Int -> Int128

shiftR :: Int128 -> Int -> Int128

unsafeShiftR :: Int128 -> Int -> Int128

rotateL :: Int128 -> Int -> Int128

rotateR :: Int128 -> Int -> Int128

popCount :: Int128 -> Int

FiniteBits Int128

Defined in Data.WideWord.Int128

Methods

finiteBitSize :: Int128 -> Int

countLeadingZeros :: Int128 -> Int

countTrailingZeros :: Int128 -> Int

Bounded Int128

Defined in Data.WideWord.Int128

Methods

minBound :: Int128

maxBound :: Int128

Enum Int128

Defined in Data.WideWord.Int128

Methods

succ :: Int128 -> Int128

pred :: Int128 -> Int128

toEnum :: Int -> Int128

fromEnum :: Int128 -> Int

enumFrom :: Int128 -> [Int128]

enumFromThen :: Int128 -> Int128 -> [Int128]

enumFromTo :: Int128 -> Int128 -> [Int128]

enumFromThenTo :: Int128 -> Int128 -> Int128 -> [Int128]

Generic Int128

Defined in Data.WideWord.Int128

Associated Types

type Rep Int128 :: Type -> Type

Methods

from :: Int128 -> Rep Int128 x

to :: Rep Int128 x -> Int128

Ix Int128

Defined in Data.WideWord.Int128

Methods

range :: (Int128, Int128) -> [Int128]

index :: (Int128, Int128) -> Int128 -> Int

unsafeIndex :: (Int128, Int128) -> Int128 -> Int

inRange :: (Int128, Int128) -> Int128 -> Bool

rangeSize :: (Int128, Int128) -> Int

unsafeRangeSize :: (Int128, Int128) -> Int

Num Int128

Defined in Data.WideWord.Int128

Methods

(+) :: Int128 -> Int128 -> Int128

(-) :: Int128 -> Int128 -> Int128

(*) :: Int128 -> Int128 -> Int128

negate :: Int128 -> Int128

abs :: Int128 -> Int128

signum :: Int128 -> Int128

fromInteger :: Integer -> Int128

Read Int128

Defined in Data.WideWord.Int128

Methods

readsPrec :: Int -> ReadS Int128

readList :: ReadS [Int128]

readPrec :: ReadPrec Int128

readListPrec :: ReadPrec [Int128]

Integral Int128

Defined in Data.WideWord.Int128

Methods

quot :: Int128 -> Int128 -> Int128

rem :: Int128 -> Int128 -> Int128

div :: Int128 -> Int128 -> Int128

mod :: Int128 -> Int128 -> Int128

quotRem :: Int128 -> Int128 -> (Int128, Int128)

divMod :: Int128 -> Int128 -> (Int128, Int128)

toInteger :: Int128 -> Integer

Real Int128

Defined in Data.WideWord.Int128

Methods

toRational :: Int128 -> Rational

Show Int128

Defined in Data.WideWord.Int128

Methods

showsPrec :: Int -> Int128 -> ShowS

show :: Int128 -> String

showList :: [Int128] -> ShowS

Binary Int128

Since: wide-word-0.1.5.0

Defined in Data.WideWord.Int128

Methods

put :: Int128 -> Put

get :: Get Int128

putList :: [Int128] -> Put

NFData Int128

Defined in Data.WideWord.Int128

Methods

rnf :: Int128 -> ()

Eq Int128

Defined in Data.WideWord.Int128

Methods

(==) :: Int128 -> Int128 -> Bool

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

Ord Int128

Defined in Data.WideWord.Int128

Methods

compare :: Int128 -> Int128 -> Ordering

(<) :: Int128 -> Int128 -> Bool

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

(>) :: Int128 -> Int128 -> Bool

(>=) :: Int128 -> Int128 -> Bool

max :: Int128 -> Int128 -> Int128

min :: Int128 -> Int128 -> Int128

Hashable Int128

Defined in Data.WideWord.Int128

Methods

hashWithSalt :: Int -> Int128 -> Int

hash :: Int128 -> Int

Prim Int128

Defined in Data.WideWord.Int128

Methods

sizeOf# :: Int128 -> Int#

alignment# :: Int128 -> Int#

indexByteArray# :: ByteArray# -> Int# -> Int128

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int128 #)

writeByteArray# :: MutableByteArray# s -> Int# -> Int128 -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int128 -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> Int128

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int128 #)

writeOffAddr# :: Addr# -> Int# -> Int128 -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> Int128 -> State# s -> State# s

KnownSymbol name => KnownColumn (Column name Int128)

Defined in ClickHaskell

Methods

renderColumnName :: Builder

renderColumnType :: Builder

mkColumn :: [GetColumnType (Column name Int128)] -> Column (GetColumnName (Column name Int128)) (GetColumnType (Column name Int128))

type ToChTypeName Int128

Defined in ClickHaskell

type ToChTypeName Int128 = "Int128"

type Rep Int128

Defined in Data.WideWord.Int128

type Rep Int128 = D1 ('MetaData "Int128" "Data.WideWord.Int128" "wide-word-0.1.6.0-Gy9UBPplZ5B4mxnX5SBk4B" 'False) (C1 ('MetaCons "Int128" 'PrefixI 'True) (S1 ('MetaSel ('Just "int128Hi64") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: S1 ('MetaSel ('Just "int128Lo64") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)))