Fluid.Types

Documentation

data Version

Constructors

Version Major Minor

Instances

Eq Version

Methods

(==) :: Version -> Version -> Bool

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

Show Version

Methods

showsPrec :: Int -> Version -> ShowS

show :: Version -> String

showList :: [Version] -> ShowS

Generic Version

Associated Types

type Rep Version :: * -> *

Methods

from :: Version -> Rep Version x

to :: Rep Version x -> Version

ToJSON Version

Methods

toJSON :: Version -> Value

toEncoding :: Version -> Encoding

toJSONList :: [Version] -> Value

toEncodingList :: [Version] -> Encoding

FromJSON Version

Methods

parseJSON :: Value -> Parser Version

parseJSONList :: Value -> Parser [Version]

type Rep Version

type Rep Version = D1 (MetaData "Version" "Fluid.Types" "fluid-idl-0.0.1-IRQIjxVZhGMH5OstGCnN5O" False) (C1 (MetaCons "Version" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "major") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Major)) (S1 (MetaSel (Just Symbol "minor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Minor))))

newtype Major

Constructors

Major Int

Instances

Enum Major

Methods

succ :: Major -> Major

pred :: Major -> Major

toEnum :: Int -> Major

fromEnum :: Major -> Int

enumFrom :: Major -> [Major]

enumFromThen :: Major -> Major -> [Major]

enumFromTo :: Major -> Major -> [Major]

enumFromThenTo :: Major -> Major -> Major -> [Major]

Eq Major

Methods

(==) :: Major -> Major -> Bool

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

Integral Major

Methods

quot :: Major -> Major -> Major

rem :: Major -> Major -> Major

div :: Major -> Major -> Major

mod :: Major -> Major -> Major

quotRem :: Major -> Major -> (Major, Major)

divMod :: Major -> Major -> (Major, Major)

toInteger :: Major -> Integer

Num Major

Methods

(+) :: Major -> Major -> Major

(-) :: Major -> Major -> Major

(*) :: Major -> Major -> Major

negate :: Major -> Major

abs :: Major -> Major

signum :: Major -> Major

fromInteger :: Integer -> Major

Ord Major

Methods

compare :: Major -> Major -> Ordering

(<) :: Major -> Major -> Bool

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

(>) :: Major -> Major -> Bool

(>=) :: Major -> Major -> Bool

max :: Major -> Major -> Major

min :: Major -> Major -> Major

Real Major

Methods

toRational :: Major -> Rational

Show Major

Methods

showsPrec :: Int -> Major -> ShowS

show :: Major -> String

showList :: [Major] -> ShowS

Generic Major

Associated Types

type Rep Major :: * -> *

Methods

from :: Major -> Rep Major x

to :: Rep Major x -> Major

ToJSON Major

Methods

toJSON :: Major -> Value

toEncoding :: Major -> Encoding

toJSONList :: [Major] -> Value

toEncodingList :: [Major] -> Encoding

FromJSON Major

Methods

parseJSON :: Value -> Parser Major

parseJSONList :: Value -> Parser [Major]

type Rep Major

type Rep Major = D1 (MetaData "Major" "Fluid.Types" "fluid-idl-0.0.1-IRQIjxVZhGMH5OstGCnN5O" True) (C1 (MetaCons "Major" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

newtype Minor

Constructors

Minor Int

Instances

Enum Minor

Methods

succ :: Minor -> Minor

pred :: Minor -> Minor

toEnum :: Int -> Minor

fromEnum :: Minor -> Int

enumFrom :: Minor -> [Minor]

enumFromThen :: Minor -> Minor -> [Minor]

enumFromTo :: Minor -> Minor -> [Minor]

enumFromThenTo :: Minor -> Minor -> Minor -> [Minor]

Eq Minor

Methods

(==) :: Minor -> Minor -> Bool

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

Integral Minor

Methods

quot :: Minor -> Minor -> Minor

rem :: Minor -> Minor -> Minor

div :: Minor -> Minor -> Minor

mod :: Minor -> Minor -> Minor

quotRem :: Minor -> Minor -> (Minor, Minor)

divMod :: Minor -> Minor -> (Minor, Minor)

toInteger :: Minor -> Integer

Num Minor

Methods

(+) :: Minor -> Minor -> Minor

(-) :: Minor -> Minor -> Minor

(*) :: Minor -> Minor -> Minor

negate :: Minor -> Minor

abs :: Minor -> Minor

signum :: Minor -> Minor

fromInteger :: Integer -> Minor

Ord Minor

Methods

compare :: Minor -> Minor -> Ordering

(<) :: Minor -> Minor -> Bool

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

(>) :: Minor -> Minor -> Bool

(>=) :: Minor -> Minor -> Bool

max :: Minor -> Minor -> Minor

min :: Minor -> Minor -> Minor

Real Minor

Methods

toRational :: Minor -> Rational

Show Minor

Methods

showsPrec :: Int -> Minor -> ShowS

show :: Minor -> String

showList :: [Minor] -> ShowS

Generic Minor

Associated Types

type Rep Minor :: * -> *

Methods

from :: Minor -> Rep Minor x

to :: Rep Minor x -> Minor

ToJSON Minor

Methods

toJSON :: Minor -> Value

toEncoding :: Minor -> Encoding

toJSONList :: [Minor] -> Value

toEncodingList :: [Minor] -> Encoding

FromJSON Minor

Methods

parseJSON :: Value -> Parser Minor

parseJSONList :: Value -> Parser [Minor]

type Rep Minor

type Rep Minor = D1 (MetaData "Minor" "Fluid.Types" "fluid-idl-0.0.1-IRQIjxVZhGMH5OstGCnN5O" True) (C1 (MetaCons "Minor" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data Pull

Constructors

Pull Text Text Text Int

Instances

Eq Pull

Methods

(==) :: Pull -> Pull -> Bool

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

Show Pull

Methods

showsPrec :: Int -> Pull -> ShowS

show :: Pull -> String

showList :: [Pull] -> ShowS

pullAddress :: Pull -> Text

data RuntimeError

Constructors

RuntimeError'UnparsableFormat

RuntimeError'UnrecognizedCall

RuntimeError'VariableLimit

RuntimeError'LangServiceCallLimit Int

RuntimeError'LangLambdaLimit Int

RuntimeError'LangExprLimit Int

RuntimeError'UnknownVariable Text

RuntimeError'IncompatibleType

RuntimeError'MissingMatchCase

RuntimeError'TooFewArguments

RuntimeError'TooManyArguments

RuntimeError'NoApiVersion

RuntimeError'NoFluidVersion

RuntimeError'ApiMajorVersionTooLow

RuntimeError'ApiMajorVersionTooHigh

RuntimeError'ApiMinorVersionTooHigh

RuntimeError'FluidMajorVersionTooLow

RuntimeError'FluidMajorVersionTooHigh

RuntimeError'FluidMinorVersionTooHigh

RuntimeError'UnparsableMeta

RuntimeError'UnparsableQuery

RuntimeError'NoImplementation

RuntimeError'NotMember

Instances

Eq RuntimeError

Methods

(==) :: RuntimeError -> RuntimeError -> Bool

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

Show RuntimeError

Methods

showsPrec :: Int -> RuntimeError -> ShowS

show :: RuntimeError -> String

showList :: [RuntimeError] -> ShowS

ToJSON RuntimeError

Methods

toJSON :: RuntimeError -> Value

toEncoding :: RuntimeError -> Encoding

toJSONList :: [RuntimeError] -> Value

toEncodingList :: [RuntimeError] -> Encoding

FromJSON RuntimeError

Methods

parseJSON :: Value -> Parser RuntimeError

parseJSONList :: Value -> Parser [RuntimeError]

data Hooks m meta meta'

Constructors

Hooks (meta -> m meta') (meta' -> m Limits)

data Limits

Constructors

Limits (Maybe Int) (Maybe Int) (Maybe Int) (Maybe Int)

Instances

Eq Limits

Methods

(==) :: Limits -> Limits -> Bool

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

Show Limits

Methods

showsPrec :: Int -> Limits -> ShowS

show :: Limits -> String

showList :: [Limits] -> ShowS

Generic Limits

Associated Types

type Rep Limits :: * -> *

Methods

from :: Limits -> Rep Limits x

to :: Rep Limits x -> Limits

ToJSON Limits

Methods

toJSON :: Limits -> Value

toEncoding :: Limits -> Encoding

toJSONList :: [Limits] -> Value

toEncodingList :: [Limits] -> Encoding

FromJSON Limits

Methods

parseJSON :: Value -> Parser Limits

parseJSONList :: Value -> Parser [Limits]

type Rep Limits

type Rep Limits = D1 (MetaData "Limits" "Fluid.Types" "fluid-idl-0.0.1-IRQIjxVZhGMH5OstGCnN5O" False) (C1 (MetaCons "Limits" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "variables") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int))) (S1 (MetaSel (Just Symbol "serviceCalls") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int)))) ((:*:) (S1 (MetaSel (Just Symbol "lambdas") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int))) (S1 (MetaSel (Just Symbol "expressions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int))))))

defLimits :: Limits

defHooks :: Monad m => Hooks m meta meta

newtype Symbol

Constructors

Symbol Text

Instances

Eq Symbol

Methods

(==) :: Symbol -> Symbol -> Bool

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

Ord Symbol

Methods

compare :: Symbol -> Symbol -> Ordering

(<) :: Symbol -> Symbol -> Bool

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

(>) :: Symbol -> Symbol -> Bool

(>=) :: Symbol -> Symbol -> Bool

max :: Symbol -> Symbol -> Symbol

min :: Symbol -> Symbol -> Symbol

Show Symbol

Methods

showsPrec :: Int -> Symbol -> ShowS

show :: Symbol -> String

showList :: [Symbol] -> ShowS

IsString Symbol

Methods

fromString :: String -> Symbol

ToJSON Symbol

Methods

toJSON :: Symbol -> Value

toEncoding :: Symbol -> Encoding

toJSONList :: [Symbol] -> Value

toEncodingList :: [Symbol] -> Encoding

ToJSONKey Symbol

Methods

toJSONKey :: ToJSONKeyFunction Symbol

toJSONKeyList :: ToJSONKeyFunction [Symbol]

FromJSON Symbol

Methods

parseJSON :: Value -> Parser Symbol

parseJSONList :: Value -> Parser [Symbol]

FromJSONKey Symbol

Methods

fromJSONKey :: FromJSONKeyFunction Symbol

fromJSONKeyList :: FromJSONKeyFunction [Symbol]

data Type

Constructors

Type TypeName [Type] (Maybe Type)

Instances

Eq Type

Methods

(==) :: Type -> Type -> Bool

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

Show Type

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

IsString Type

Methods

fromString :: String -> Type

ToJSON Type

Methods

toJSON :: Type -> Value

toEncoding :: Type -> Encoding

toJSONList :: [Type] -> Value

toEncodingList :: [Type] -> Encoding

FromJSON Type

Methods

parseJSON :: Value -> Parser Type

parseJSONList :: Value -> Parser [Type]

newtype TypeName

Constructors

TypeName Text

Instances

Eq TypeName

Methods

(==) :: TypeName -> TypeName -> Bool

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

Ord TypeName

Methods

compare :: TypeName -> TypeName -> Ordering

(<) :: TypeName -> TypeName -> Bool

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

(>) :: TypeName -> TypeName -> Bool

(>=) :: TypeName -> TypeName -> Bool

max :: TypeName -> TypeName -> TypeName

min :: TypeName -> TypeName -> TypeName

Show TypeName

Methods

showsPrec :: Int -> TypeName -> ShowS

show :: TypeName -> String

showList :: [TypeName] -> ShowS

IsString TypeName

Methods

fromString :: String -> TypeName

ToJSON TypeName

Methods

toJSON :: TypeName -> Value

toEncoding :: TypeName -> Encoding

toJSONList :: [TypeName] -> Value

toEncodingList :: [TypeName] -> Encoding

FromJSON TypeName

Methods

parseJSON :: Value -> Parser TypeName

parseJSONList :: Value -> Parser [TypeName]

newtype EnumeralName

Constructors

EnumeralName Text

Instances

Eq EnumeralName

Methods

(==) :: EnumeralName -> EnumeralName -> Bool

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

Ord EnumeralName

Methods

compare :: EnumeralName -> EnumeralName -> Ordering

(<) :: EnumeralName -> EnumeralName -> Bool

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

(>) :: EnumeralName -> EnumeralName -> Bool

(>=) :: EnumeralName -> EnumeralName -> Bool

max :: EnumeralName -> EnumeralName -> EnumeralName

min :: EnumeralName -> EnumeralName -> EnumeralName

Show EnumeralName

Methods

showsPrec :: Int -> EnumeralName -> ShowS

show :: EnumeralName -> String

showList :: [EnumeralName] -> ShowS

IsString EnumeralName

Methods

fromString :: String -> EnumeralName

ToJSON EnumeralName

Methods

toJSON :: EnumeralName -> Value

toEncoding :: EnumeralName -> Encoding

toJSONList :: [EnumeralName] -> Value

toEncodingList :: [EnumeralName] -> Encoding

ToJSONKey EnumeralName

Methods

toJSONKey :: ToJSONKeyFunction EnumeralName

toJSONKeyList :: ToJSONKeyFunction [EnumeralName]

FromJSON EnumeralName

Methods

parseJSON :: Value -> Parser EnumeralName

parseJSONList :: Value -> Parser [EnumeralName]

FromJSONKey EnumeralName

Methods

fromJSONKey :: FromJSONKeyFunction EnumeralName

fromJSONKeyList :: FromJSONKeyFunction [EnumeralName]

newtype MemberName

Constructors

MemberName Text

Instances

Eq MemberName

Methods

(==) :: MemberName -> MemberName -> Bool

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

Ord MemberName

Methods

compare :: MemberName -> MemberName -> Ordering

(<) :: MemberName -> MemberName -> Bool

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

(>) :: MemberName -> MemberName -> Bool

(>=) :: MemberName -> MemberName -> Bool

max :: MemberName -> MemberName -> MemberName

min :: MemberName -> MemberName -> MemberName

Show MemberName

Methods

showsPrec :: Int -> MemberName -> ShowS

show :: MemberName -> String

showList :: [MemberName] -> ShowS

IsString MemberName

Methods

fromString :: String -> MemberName

ToJSON MemberName

Methods

toJSON :: MemberName -> Value

toEncoding :: MemberName -> Encoding

toJSONList :: [MemberName] -> Value

toEncodingList :: [MemberName] -> Encoding

ToJSONKey MemberName

Methods

toJSONKey :: ToJSONKeyFunction MemberName

toJSONKeyList :: ToJSONKeyFunction [MemberName]

FromJSON MemberName

Methods

parseJSON :: Value -> Parser MemberName

parseJSONList :: Value -> Parser [MemberName]

FromJSONKey MemberName

Methods

fromJSONKey :: FromJSONKeyFunction MemberName

fromJSONKeyList :: FromJSONKeyFunction [MemberName]

data Const

Constructors

Const'Null

Const'Bool Bool

Const'String Text

Const'Number Scientific

Instances

Eq Const

Methods

(==) :: Const -> Const -> Bool

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

Show Const

Methods

showsPrec :: Int -> Const -> ShowS

show :: Const -> String

showList :: [Const] -> ShowS

ToJSON Const

Methods

toJSON :: Const -> Value

toEncoding :: Const -> Encoding

toJSONList :: [Const] -> Value

toEncodingList :: [Const] -> Encoding

FromJSON Const

Methods

parseJSON :: Value -> Parser Const

parseJSONList :: Value -> Parser [Const]

data Infer

Constructors

Infer'Null

Infer'Number Scientific

Instances

Eq Infer

Methods

(==) :: Infer -> Infer -> Bool

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

Show Infer

Methods

showsPrec :: Int -> Infer -> ShowS

show :: Infer -> String

showList :: [Infer] -> ShowS

ToJSON Infer

Methods

toJSON :: Infer -> Value

toEncoding :: Infer -> Encoding

toJSONList :: [Infer] -> Value

toEncodingList :: [Infer] -> Encoding

FromJSON Infer

Methods

parseJSON :: Value -> Parser Infer

parseJSONList :: Value -> Parser [Infer]

class HasType a where

Minimal complete definition

getType

Methods

getType :: Proxy a -> Type

Instances

HasType Bool

Methods

getType :: Proxy * Bool -> Type

HasType Double

Methods

getType :: Proxy * Double -> Type

HasType Float

Methods

getType :: Proxy * Float -> Type

HasType Int8

Methods

getType :: Proxy * Int8 -> Type

HasType Int16

Methods

getType :: Proxy * Int16 -> Type

HasType Int32

Methods

getType :: Proxy * Int32 -> Type

HasType Int64

Methods

getType :: Proxy * Int64 -> Type

HasType Word8

Methods

getType :: Proxy * Word8 -> Type

HasType Word16

Methods

getType :: Proxy * Word16 -> Type

HasType Word32

Methods

getType :: Proxy * Word32 -> Type

HasType Word64

Methods

getType :: Proxy * Word64 -> Type

HasType ()

Methods

getType :: Proxy * () -> Type

HasType Text

Methods

getType :: Proxy * Text -> Type

HasType a => HasType [a]

Methods

getType :: Proxy * [a] -> Type

HasType a => HasType (Maybe a)

Methods

getType :: Proxy * (Maybe a) -> Type

(HasType t1, HasType t2, HasType t3) => HasType (Fn ((Expr t1, Expr t2) -> t3))

Methods

getType :: Proxy * (Fn ((Expr t1, Expr t2) -> t3)) -> Type

(HasType t1, HasType t2) => HasType (Fn (Expr t1 -> t2))

Methods

getType :: Proxy * (Fn (Expr t1 -> t2)) -> Type

HasType a => HasType (Expr a)

Methods

getType :: Proxy * (Expr a) -> Type

(HasType e, HasType a) => HasType (Either e a)

Methods

getType :: Proxy * (Either e a) -> Type

(HasType t1, HasType t2) => HasType (t1, t2)

Methods

getType :: Proxy * (t1, t2) -> Type

(HasType t1, HasType t2, HasType t3) => HasType (t1, t2, t3)

Methods

getType :: Proxy * (t1, t2, t3) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4) => HasType (t1, t2, t3, t4)

Methods

getType :: Proxy * (t1, t2, t3, t4) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5) => HasType (t1, t2, t3, t4, t5)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6) => HasType (t1, t2, t3, t4, t5, t6)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7) => HasType (t1, t2, t3, t4, t5, t6, t7)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8) => HasType (t1, t2, t3, t4, t5, t6, t7, t8)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26, HasType t27) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26, HasType t27, HasType t28) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26, HasType t27, HasType t28, HasType t29) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26, HasType t27, HasType t28, HasType t29, HasType t30) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26, HasType t27, HasType t28, HasType t29, HasType t30, HasType t31) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31) -> Type

(HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26, HasType t27, HasType t28, HasType t29, HasType t30, HasType t31, HasType t32) => HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32)

Methods

getType :: Proxy * (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32) -> Type