Erl.Untagged.Union

data Choices

data Nil :: Choicesdata Nil

Instances

• GatherTypes Nil NilWithType
• CanShow Nil
• CanEq Nil

data Term :: Choicesdata Term

Instances

• GatherTypes Term TermWithType
• CanShow Term
• CanEq Term

data Item :: Type -> Choices -> Choicesdata Item t0 t1

Instances

• IsInChoices item (Item item tail) tail
• (IsInChoices item tail remTail) => IsInChoices item (Item t tail) (Item t remTail)
• (GatherTypes tail tailWithTypes, RuntimeType item itemRuntimeType, AddRuntimeType item itemRuntimeType tailWithTypes withTypes) => GatherTypes (Item item tail) withTypes
• (CanShow tail, Show item, RuntimeType item d, RuntimeTypeMatch (Item item tail) d) => CanShow (Item item tail)
• (CanEq tail, Eq item, RuntimeType item d, RuntimeTypeMatch (Item item tail) d) => CanEq (Item item tail)

data Union :: Choices -> Typedata Union choices

Instances

• (IsInChoices msg choices t1) => IsSupportedMessage msg (Union choices)
• HasNoConversions (Union choices)
• (CanShow choices) => Show (Union choices)
• (CanEq choices) => Eq (Union choices)

Operator alias for Erl.Untagged.Union.Item (right-associative / precedence 7)

type Apply :: forall k1 k2. (k1 -> k2) -> k1 -> k2type Apply a b = a b

Operator alias for Erl.Untagged.Union.Apply (right-associative / precedence 1)

inj :: forall a choices rem. IsInChoices a choices rem => ValidChoices choices => a -> Union choices

prj :: forall a choices d rem. IsInChoices a choices rem => RuntimeType a d => RuntimeTypeMatch (Item a Nil) d => Union choices -> Maybe a

on :: forall a x d choices rem. IsInChoices a choices rem => RuntimeType a d => RuntimeTypeMatch (Item a Nil) d => (a -> x) -> (Union rem -> x) -> Union choices -> x

case_ :: forall x. Union Nil -> x

term_ :: forall x. (Foreign -> x) -> Union Term -> x

data ChoicesWithType

data NilWithType :: ChoicesWithTypedata NilWithType

Instances

• GatherTypes Nil NilWithType
• IsAmbiguous NilWithType
• IsAmbiguous' toCheck toCheckType NilWithType

data TermWithType :: ChoicesWithTypedata TermWithType

Instances

• GatherTypes Term TermWithType
• IsAmbiguous TermWithType
• IsAmbiguous' toCheck toCheckType TermWithType

data ItemWithType :: Type -> RTTerm -> ChoicesWithType -> ChoicesWithTypedata ItemWithType t0 t1 t2

Instances

• AddRuntimeType item rtType initial (ItemWithType item rtType initial)
• (IsAmbiguous tail, IsAmbiguous' item itemRuntimeType tail) => IsAmbiguous (ItemWithType item itemRuntimeType tail)
• (IsAmbiguousType toCheckType compareType isAmbiguous, MaybeFail isAmbiguous toCheck toCheckType compare compareType, IsAmbiguous' toCheck toCheckType tail) => IsAmbiguous' toCheck toCheckType (ItemWithType compare compareType tail)

class ValidChoices :: Choices -> Constraintclass ValidChoices choices 

Instances

• (GatherTypes choices choicesWithTypes, IsAmbiguous choicesWithTypes) => ValidChoices choices

class ReceivesMessage :: forall k. k -> Type -> Constraintclass ReceivesMessage a msg | a -> msg

Instances

• ReceivesMessage (ProcessM msg) msg
• ReceivesMessage (ProcessTrapM msg) msg

class CanReceiveMessage :: Type -> (Type -> Type) -> Constraintclass CanReceiveMessage msg m 

Instances

• (ReceivesMessage m canReceive, IsSupportedMessage msg canReceive) => CanReceiveMessage msg m

class IsSupportedMessage msg canReceive 

Instances

• (IsInChoices msg choices t1) => IsSupportedMessage msg (Union choices)
• (HasNoConversions msg) => IsSupportedMessage msg msg

class IsInChoices :: Type -> Choices -> Choices -> Constraintclass IsInChoices item choices rem | item choices -> rem

Instances

• IsInChoices item (Item item tail) tail
• (IsInChoices item tail remTail) => IsInChoices item (Item t tail) (Item t remTail)

class RuntimeType :: Type -> RTTerm -> Constraintclass RuntimeType a t | a -> t

Instances

• RuntimeType Atom RTAtom
• RuntimeType Int RTInt
• RuntimeType String RTString
• RuntimeType Binary RTBinary
• RuntimeType (List a) RTList
• RuntimeType Number RTNumber
• RuntimeType (Atom sym) (RTLiteralAtom sym)
• (RuntimeType a a') => RuntimeType (Tuple1 a) (RTTuple1 a')
• (RuntimeType a a', RuntimeType b b') => RuntimeType (Tuple2 a b) (RTTuple2 a' b')
• (RuntimeType a a', RuntimeType b b', RuntimeType c c') => RuntimeType (Tuple3 a b c) (RTTuple3 a' b' c')
• (RuntimeType a a', RuntimeType b b', RuntimeType c c', RuntimeType d d') => RuntimeType (Tuple4 a b c d) (RTTuple4 a' b' c' d')
• (RuntimeType a a', RuntimeType b b', RuntimeType c c', RuntimeType d d', RuntimeType e e') => RuntimeType (Tuple5 a b c d e) (RTTuple5 a' b' c' d' e')
• (RuntimeType a a', RuntimeType b b', RuntimeType c c', RuntimeType d d', RuntimeType e e', RuntimeType f f') => RuntimeType (Tuple6 a b c d e f) (RTTuple6 a' b' c' d' e' f')
• (RuntimeType a a', RuntimeType b b', RuntimeType c c', RuntimeType d d', RuntimeType e e', RuntimeType f f', RuntimeType g g') => RuntimeType (Tuple7 a b c d e f g) (RTTuple7 a' b' c' d' e' f' g')
• (RuntimeType a a', RuntimeType b b', RuntimeType c c', RuntimeType d d', RuntimeType e e', RuntimeType f f', RuntimeType g g', RuntimeType h h') => RuntimeType (Tuple8 a b c d e f g h) (RTTuple8 a' b' c' d' e' f' g' h')
• (RuntimeType a a', RuntimeType b b', RuntimeType c c', RuntimeType d d', RuntimeType e e', RuntimeType f f', RuntimeType g g', RuntimeType h h', RuntimeType i i') => RuntimeType (Tuple9 a b c d e f g h i) (RTTuple9 a' b' c' d' e' f' g' h' i')
• (RuntimeType a a', RuntimeType b b', RuntimeType c c', RuntimeType d d', RuntimeType e e', RuntimeType f f', RuntimeType g g', RuntimeType h h', RuntimeType i i', RuntimeType j j') => RuntimeType (Tuple10 a b c d e f g h i j) (RTTuple10 a' b' c' d' e' f' g' h' i' j')

class GatherTypes :: Choices -> ChoicesWithType -> Constraintclass GatherTypes choices choicesWithType | choices -> choicesWithType

Instances

• GatherTypes Nil NilWithType
• GatherTypes Term TermWithType
• (GatherTypes tail tailWithTypes, RuntimeType item itemRuntimeType, AddRuntimeType item itemRuntimeType tailWithTypes withTypes) => GatherTypes (Item item tail) withTypes

class AddRuntimeType :: Type -> RTTerm -> ChoicesWithType -> ChoicesWithType -> Constraintclass AddRuntimeType item rtType initial final | item rtType initial -> final

Instances

• (AddRuntimeType item option1 initial final', AddRuntimeType item option2 final' final) => AddRuntimeType item (RTOption option1 option2) initial final
• AddRuntimeType item rtType initial (ItemWithType item rtType initial)

class IsAmbiguous :: ChoicesWithType -> Constraintclass IsAmbiguous choicesWithType 

Instances

• IsAmbiguous NilWithType
• IsAmbiguous TermWithType
• (IsAmbiguous tail, IsAmbiguous' item itemRuntimeType tail) => IsAmbiguous (ItemWithType item itemRuntimeType tail)

class IsAmbiguous' :: Type -> RTTerm -> ChoicesWithType -> Constraintclass IsAmbiguous' toCheck toCheckType types 

Instances

• IsAmbiguous' toCheck toCheckType NilWithType
• IsAmbiguous' toCheck toCheckType TermWithType
• (IsAmbiguousType toCheckType compareType isAmbiguous, MaybeFail isAmbiguous toCheck toCheckType compare compareType, IsAmbiguous' toCheck toCheckType tail) => IsAmbiguous' toCheck toCheckType (ItemWithType compare compareType tail)

class IsAmbiguousType :: RTTerm -> RTTerm -> Boolean -> Constraintclass IsAmbiguousType lhs rhs result | lhs rhs -> result

Instances

• IsAmbiguousType a a True
• IsAmbiguousType RTWildcard a True
• IsAmbiguousType a RTWildcard True
• IsAmbiguousType RTAtom (RTLiteralAtom sym) True
• IsAmbiguousType RTBinary RTString True
• IsAmbiguousType RTString RTBinary True
• (IsAmbiguousType a1 b1 result) => IsAmbiguousType (RTTuple1 a1) (RTTuple1 b1) result
• (IsAmbiguousType a1 b1 aResult, IsAmbiguousType a2 b2 bResult, And aResult bResult result) => IsAmbiguousType (RTTuple2 a1 a2) (RTTuple2 b1 b2) result
• (IsAmbiguousType a1 b1 aResult, IsAmbiguousType a2 b2 bResult, IsAmbiguousType a3 b3 cResult, And aResult bResult abResult, And abResult cResult result) => IsAmbiguousType (RTTuple3 a1 a2 a3) (RTTuple3 b1 b2 b3) result
• (IsAmbiguousType a1 b1 aResult, IsAmbiguousType a2 b2 bResult, IsAmbiguousType a3 b3 cResult, IsAmbiguousType a4 b4 dResult, And aResult bResult abResult, And abResult cResult abcResult, And abcResult dResult result) => IsAmbiguousType (RTTuple4 a1 a2 a3 a4) (RTTuple4 b1 b2 b3 b4) result
• (IsAmbiguousType a1 b1 aResult, IsAmbiguousType a2 b2 bResult, IsAmbiguousType a3 b3 cResult, IsAmbiguousType a4 b4 dResult, IsAmbiguousType a5 b5 eResult, And aResult bResult abResult, And abResult cResult abcResult, And abcResult dResult abcdResult, And abcdResult eResult result) => IsAmbiguousType (RTTuple5 a1 a2 a3 a4 a5) (RTTuple5 b1 b2 b3 b4 b5) result
• (IsAmbiguousType a1 b1 aResult, IsAmbiguousType a2 b2 bResult, IsAmbiguousType a3 b3 cResult, IsAmbiguousType a4 b4 dResult, IsAmbiguousType a5 b5 eResult, IsAmbiguousType a6 b6 fResult, And aResult bResult abResult, And abResult cResult abcResult, And abcResult dResult abcdResult, And abcdResult eResult abcdeResult, And abcdeResult fResult result) => IsAmbiguousType (RTTuple6 a1 a2 a3 a4 a5 a6) (RTTuple6 b1 b2 b3 b4 b5 b6) result
• (IsAmbiguousType a1 b1 aResult, IsAmbiguousType a2 b2 bResult, IsAmbiguousType a3 b3 cResult, IsAmbiguousType a4 b4 dResult, IsAmbiguousType a5 b5 eResult, IsAmbiguousType a6 b6 fResult, IsAmbiguousType a7 b7 gResult, And aResult bResult abResult, And abResult cResult abcResult, And abcResult dResult abcdResult, And abcdResult eResult abcdeResult, And abcdeResult fResult abcdefResult, And abcdefResult gResult result) => IsAmbiguousType (RTTuple7 a1 a2 a3 a4 a5 a6 a7) (RTTuple7 b1 b2 b3 b4 b5 b6 b7) result
• (IsAmbiguousType a1 b1 aResult, IsAmbiguousType a2 b2 bResult, IsAmbiguousType a3 b3 cResult, IsAmbiguousType a4 b4 dResult, IsAmbiguousType a5 b5 eResult, IsAmbiguousType a6 b6 fResult, IsAmbiguousType a7 b7 gResult, IsAmbiguousType a8 b8 hResult, And aResult bResult abResult, And abResult cResult abcResult, And abcResult dResult abcdResult, And abcdResult eResult abcdeResult, And abcdeResult fResult abcdefResult, And abcdefResult gResult abcdefgResult, And abcdefgResult hResult result) => IsAmbiguousType (RTTuple8 a1 a2 a3 a4 a5 a6 a7 a8) (RTTuple8 b1 b2 b3 b4 b5 b6 b7 b8) result
• (IsAmbiguousType a1 b1 aResult, IsAmbiguousType a2 b2 bResult, IsAmbiguousType a3 b3 cResult, IsAmbiguousType a4 b4 dResult, IsAmbiguousType a5 b5 eResult, IsAmbiguousType a6 b6 fResult, IsAmbiguousType a7 b7 gResult, IsAmbiguousType a8 b8 hResult, IsAmbiguousType a9 b9 iResult, And aResult bResult abResult, And abResult cResult abcResult, And abcResult dResult abcdResult, And abcdResult eResult abcdeResult, And abcdeResult fResult abcdefResult, And abcdefResult gResult abcdefgResult, And abcdefgResult hResult abcdefghResult, And abcdefghResult iResult result) => IsAmbiguousType (RTTuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) (RTTuple9 b1 b2 b3 b4 b5 b6 b7 b8 b9) result
• (IsAmbiguousType a1 b1 aResult, IsAmbiguousType a2 b2 bResult, IsAmbiguousType a3 b3 cResult, IsAmbiguousType a4 b4 dResult, IsAmbiguousType a5 b5 eResult, IsAmbiguousType a6 b6 fResult, IsAmbiguousType a7 b7 gResult, IsAmbiguousType a8 b8 hResult, IsAmbiguousType a9 b9 iResult, IsAmbiguousType a10 b10 jResult, And aResult bResult abResult, And abResult cResult abcResult, And abcResult dResult abcdResult, And abcdResult eResult abcdeResult, And abcdeResult fResult abcdefResult, And abcdefResult gResult abcdefgResult, And abcdefgResult hResult abcdefghResult, And abcdefghResult iResult abcdefghiResult, And abcdefghiResult jResult result) => IsAmbiguousType (RTTuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10) (RTTuple10 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10) result
• IsAmbiguousType a b False

class RuntimeTypeMatch :: Choices -> RTTerm -> Constraintclass RuntimeTypeMatch choices d  where

Members

• isMatch :: Proxy choices -> Proxy d -> Foreign -> WasMatch

Instances

• RuntimeTypeMatch choices RTWildcard
• RuntimeTypeMatch choices RTString
• RuntimeTypeMatch choices RTInt
• RuntimeTypeMatch choices RTAtom
• RuntimeTypeMatch choices RTBinary
• RuntimeTypeMatch choices RTList
• (IsSymbol sym) => RuntimeTypeMatch choices (RTLiteralAtom sym)
• (IsSymbol sym, IsSymbol convSym) => RuntimeTypeMatch choices (RTLiteralAtomConvert sym convSym)
• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b) => RuntimeTypeMatch choices (RTOption a b)
• (RuntimeTypeMatch choices a) => RuntimeTypeMatch choices (RTTuple1 a)
• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b) => RuntimeTypeMatch choices (RTTuple2 a b)
• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b, RuntimeTypeMatch choices c) => RuntimeTypeMatch choices (RTTuple3 a b c)
• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b, RuntimeTypeMatch choices c, RuntimeTypeMatch choices d) => RuntimeTypeMatch choices (RTTuple4 a b c d)
• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b, RuntimeTypeMatch choices c, RuntimeTypeMatch choices d, RuntimeTypeMatch choices e) => RuntimeTypeMatch choices (RTTuple5 a b c d e)
• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b, RuntimeTypeMatch choices c, RuntimeTypeMatch choices d, RuntimeTypeMatch choices e, RuntimeTypeMatch choices f) => RuntimeTypeMatch choices (RTTuple6 a b c d e f)
• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b, RuntimeTypeMatch choices c, RuntimeTypeMatch choices d, RuntimeTypeMatch choices e, RuntimeTypeMatch choices f, RuntimeTypeMatch choices g) => RuntimeTypeMatch choices (RTTuple7 a b c d e f g)
• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b, RuntimeTypeMatch choices c, RuntimeTypeMatch choices d, RuntimeTypeMatch choices e, RuntimeTypeMatch choices f, RuntimeTypeMatch choices g, RuntimeTypeMatch choices h) => RuntimeTypeMatch choices (RTTuple8 a b c d e f g h)
• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b, RuntimeTypeMatch choices c, RuntimeTypeMatch choices d, RuntimeTypeMatch choices e, RuntimeTypeMatch choices f, RuntimeTypeMatch choices g, RuntimeTypeMatch choices h, RuntimeTypeMatch choices i) => RuntimeTypeMatch choices (RTTuple9 a b c d e f g h i)
• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b, RuntimeTypeMatch choices c, RuntimeTypeMatch choices d, RuntimeTypeMatch choices e, RuntimeTypeMatch choices f, RuntimeTypeMatch choices g, RuntimeTypeMatch choices h, RuntimeTypeMatch choices i, RuntimeTypeMatch choices j) => RuntimeTypeMatch choices (RTTuple10 a b c d e f g h i j)

class HasNoConversions msg 

Instances

• HasNoConversions (Union choices)
• (RuntimeType msg t, HasNoConversionsRT t) => HasNoConversions msg

class HasNoConversionsRT :: RTTerm -> Constraintclass HasNoConversionsRT term 

Instances

• (HasNoConversionsRT a, HasNoConversionsRT b) => HasNoConversionsRT (RTOption a b)
• HasNoConversionsRT RTWildcard
• HasNoConversionsRT RTAtom
• HasNoConversionsRT (RTLiteralAtom symbol)
• HasNoConversionsRT RTInt
• HasNoConversionsRT RTString
• HasNoConversionsRT RTBinary
• HasNoConversionsRT RTList
• HasNoConversionsRT RTNumber
• (HasNoConversionsRT a) => HasNoConversionsRT (RTTuple1 a)
• (HasNoConversionsRT a, HasNoConversionsRT b) => HasNoConversionsRT (RTTuple2 a b)
• (HasNoConversionsRT a, HasNoConversionsRT b, HasNoConversionsRT c) => HasNoConversionsRT (RTTuple3 a b c)
• (HasNoConversionsRT a, HasNoConversionsRT b, HasNoConversionsRT c, HasNoConversionsRT d) => HasNoConversionsRT (RTTuple4 a b c d)
• (HasNoConversionsRT a, HasNoConversionsRT b, HasNoConversionsRT c, HasNoConversionsRT d, HasNoConversionsRT e) => HasNoConversionsRT (RTTuple5 a b c d e)
• (HasNoConversionsRT a, HasNoConversionsRT b, HasNoConversionsRT c, HasNoConversionsRT d, HasNoConversionsRT e, HasNoConversionsRT f) => HasNoConversionsRT (RTTuple6 a b c d e f)
• (HasNoConversionsRT a, HasNoConversionsRT b, HasNoConversionsRT c, HasNoConversionsRT d, HasNoConversionsRT e, HasNoConversionsRT f, HasNoConversionsRT g) => HasNoConversionsRT (RTTuple7 a b c d e f g)
• (HasNoConversionsRT a, HasNoConversionsRT b, HasNoConversionsRT c, HasNoConversionsRT d, HasNoConversionsRT e, HasNoConversionsRT f, HasNoConversionsRT g, HasNoConversionsRT h) => HasNoConversionsRT (RTTuple8 a b c d e f g h)
• (HasNoConversionsRT a, HasNoConversionsRT b, HasNoConversionsRT c, HasNoConversionsRT d, HasNoConversionsRT e, HasNoConversionsRT f, HasNoConversionsRT g, HasNoConversionsRT h, HasNoConversionsRT i) => HasNoConversionsRT (RTTuple9 a b c d e f g h i)
• (HasNoConversionsRT a, HasNoConversionsRT b, HasNoConversionsRT c, HasNoConversionsRT d, HasNoConversionsRT e, HasNoConversionsRT f, HasNoConversionsRT g, HasNoConversionsRT h, HasNoConversionsRT i, HasNoConversionsRT j) => HasNoConversionsRT (RTTuple10 a b c d e f g h i j)

data WasMatch

class MaybeFail :: Boolean -> Type -> RTTerm -> Type -> RTTerm -> Constraintclass MaybeFail result toCheck toCheckType compare compareType 

Instances

• (Fail (Above (Text "Ambiguous Union") (Above (Beside (Quote toCheck) (Beside (Text " : ") (Quote (Proxy toCheckType)))) (Beside (Quote compare) (Beside (Text " : ") (Quote (Proxy compareType))))))) => MaybeFail True toCheck toCheckType compare compareType
• MaybeFail False toCheck toCheckType compare compareType

class CanShow :: Choices -> Constraintclass CanShow choices  where

Members

• showItem :: Proxy choices -> Foreign -> String

Instances

• CanShow Nil
• CanShow Term
• (CanShow tail, Show item, RuntimeType item d, RuntimeTypeMatch (Item item tail) d) => CanShow (Item item tail)

class CanEq :: Choices -> Constraintclass CanEq choices  where

Members

• eqItem :: Proxy choices -> Foreign -> Foreign -> Boolean

Instances

• CanEq Nil
• CanEq Term
• (CanEq tail, Eq item, RuntimeType item d, RuntimeTypeMatch (Item item tail) d) => CanEq (Item item tail)

data RTTerm

data RTWildcard :: RTTermdata RTWildcard

Instances

• RuntimeTypeMatch choices RTWildcard
• HasNoConversionsRT RTWildcard
• IsAmbiguousType RTWildcard a True
• IsAmbiguousType a RTWildcard True

data RTOption :: RTTerm -> RTTerm -> RTTermdata RTOption t0 t1

Instances

• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b) => RuntimeTypeMatch choices (RTOption a b)
• (HasNoConversionsRT a, HasNoConversionsRT b) => HasNoConversionsRT (RTOption a b)
• (AddRuntimeType item option1 initial final', AddRuntimeType item option2 final' final) => AddRuntimeType item (RTOption option1 option2) initial final

data RTAtom :: RTTermdata RTAtom

Instances

• RuntimeTypeMatch choices RTAtom
• HasNoConversionsRT RTAtom
• RuntimeType Atom RTAtom
• IsAmbiguousType RTAtom (RTLiteralAtom sym) True

data RTLiteralAtom :: Symbol -> RTTermdata RTLiteralAtom t0

Instances

• (IsSymbol sym) => RuntimeTypeMatch choices (RTLiteralAtom sym)
• HasNoConversionsRT (RTLiteralAtom symbol)
• RuntimeType (Atom sym) (RTLiteralAtom sym)
• IsAmbiguousType RTAtom (RTLiteralAtom sym) True

data RTLiteralAtomConvert :: Symbol -> Symbol -> RTTermdata RTLiteralAtomConvert t0 t1

Instances

• (IsSymbol sym, IsSymbol convSym) => RuntimeTypeMatch choices (RTLiteralAtomConvert sym convSym)

data RTInt :: RTTermdata RTInt

Instances

• RuntimeTypeMatch choices RTInt
• HasNoConversionsRT RTInt
• RuntimeType Int RTInt

data RTString :: RTTermdata RTString

Instances

• RuntimeTypeMatch choices RTString
• HasNoConversionsRT RTString
• RuntimeType String RTString
• IsAmbiguousType RTBinary RTString True
• IsAmbiguousType RTString RTBinary True

data RTBinary :: RTTermdata RTBinary

Instances

• RuntimeTypeMatch choices RTBinary
• HasNoConversionsRT RTBinary
• RuntimeType Binary RTBinary
• IsAmbiguousType RTBinary RTString True
• IsAmbiguousType RTString RTBinary True

data RTList :: RTTermdata RTList

Instances

• RuntimeTypeMatch choices RTList
• HasNoConversionsRT RTList
• RuntimeType (List a) RTList

data RTNumber :: RTTermdata RTNumber

Instances

• HasNoConversionsRT RTNumber
• RuntimeType Number RTNumber

data RTTuple1 :: RTTerm -> RTTermdata RTTuple1 t0

Instances

• (RuntimeTypeMatch choices a) => RuntimeTypeMatch choices (RTTuple1 a)
• (HasNoConversionsRT a) => HasNoConversionsRT (RTTuple1 a)
• (RuntimeType a a') => RuntimeType (Tuple1 a) (RTTuple1 a')
• (IsAmbiguousType a1 b1 result) => IsAmbiguousType (RTTuple1 a1) (RTTuple1 b1) result

data RTTuple2 :: RTTerm -> RTTerm -> RTTermdata RTTuple2 t0 t1

Instances

• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b) => RuntimeTypeMatch choices (RTTuple2 a b)
• (HasNoConversionsRT a, HasNoConversionsRT b) => HasNoConversionsRT (RTTuple2 a b)
• (RuntimeType a a', RuntimeType b b') => RuntimeType (Tuple2 a b) (RTTuple2 a' b')
• (IsAmbiguousType a1 b1 aResult, IsAmbiguousType a2 b2 bResult, And aResult bResult result) => IsAmbiguousType (RTTuple2 a1 a2) (RTTuple2 b1 b2) result

data RTTuple3 :: RTTerm -> RTTerm -> RTTerm -> RTTermdata RTTuple3 t0 t1 t2

Instances

• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b, RuntimeTypeMatch choices c) => RuntimeTypeMatch choices (RTTuple3 a b c)
• (HasNoConversionsRT a, HasNoConversionsRT b, HasNoConversionsRT c) => HasNoConversionsRT (RTTuple3 a b c)
• (RuntimeType a a', RuntimeType b b', RuntimeType c c') => RuntimeType (Tuple3 a b c) (RTTuple3 a' b' c')
• (IsAmbiguousType a1 b1 aResult, IsAmbiguousType a2 b2 bResult, IsAmbiguousType a3 b3 cResult, And aResult bResult abResult, And abResult cResult result) => IsAmbiguousType (RTTuple3 a1 a2 a3) (RTTuple3 b1 b2 b3) result

data RTTuple4 :: RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTermdata RTTuple4 t0 t1 t2 t3

Instances

• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b, RuntimeTypeMatch choices c, RuntimeTypeMatch choices d) => RuntimeTypeMatch choices (RTTuple4 a b c d)
• (HasNoConversionsRT a, HasNoConversionsRT b, HasNoConversionsRT c, HasNoConversionsRT d) => HasNoConversionsRT (RTTuple4 a b c d)
• (RuntimeType a a', RuntimeType b b', RuntimeType c c', RuntimeType d d') => RuntimeType (Tuple4 a b c d) (RTTuple4 a' b' c' d')
• (IsAmbiguousType a1 b1 aResult, IsAmbiguousType a2 b2 bResult, IsAmbiguousType a3 b3 cResult, IsAmbiguousType a4 b4 dResult, And aResult bResult abResult, And abResult cResult abcResult, And abcResult dResult result) => IsAmbiguousType (RTTuple4 a1 a2 a3 a4) (RTTuple4 b1 b2 b3 b4) result

data RTTuple5 :: RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTermdata RTTuple5 t0 t1 t2 t3 t4

Instances

• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b, RuntimeTypeMatch choices c, RuntimeTypeMatch choices d, RuntimeTypeMatch choices e) => RuntimeTypeMatch choices (RTTuple5 a b c d e)
• (HasNoConversionsRT a, HasNoConversionsRT b, HasNoConversionsRT c, HasNoConversionsRT d, HasNoConversionsRT e) => HasNoConversionsRT (RTTuple5 a b c d e)
• (RuntimeType a a', RuntimeType b b', RuntimeType c c', RuntimeType d d', RuntimeType e e') => RuntimeType (Tuple5 a b c d e) (RTTuple5 a' b' c' d' e')
• (IsAmbiguousType a1 b1 aResult, IsAmbiguousType a2 b2 bResult, IsAmbiguousType a3 b3 cResult, IsAmbiguousType a4 b4 dResult, IsAmbiguousType a5 b5 eResult, And aResult bResult abResult, And abResult cResult abcResult, And abcResult dResult abcdResult, And abcdResult eResult result) => IsAmbiguousType (RTTuple5 a1 a2 a3 a4 a5) (RTTuple5 b1 b2 b3 b4 b5) result

data RTTuple6 :: RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTermdata RTTuple6 t0 t1 t2 t3 t4 t5

Instances

• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b, RuntimeTypeMatch choices c, RuntimeTypeMatch choices d, RuntimeTypeMatch choices e, RuntimeTypeMatch choices f) => RuntimeTypeMatch choices (RTTuple6 a b c d e f)
• (HasNoConversionsRT a, HasNoConversionsRT b, HasNoConversionsRT c, HasNoConversionsRT d, HasNoConversionsRT e, HasNoConversionsRT f) => HasNoConversionsRT (RTTuple6 a b c d e f)
• (RuntimeType a a', RuntimeType b b', RuntimeType c c', RuntimeType d d', RuntimeType e e', RuntimeType f f') => RuntimeType (Tuple6 a b c d e f) (RTTuple6 a' b' c' d' e' f')
• (IsAmbiguousType a1 b1 aResult, IsAmbiguousType a2 b2 bResult, IsAmbiguousType a3 b3 cResult, IsAmbiguousType a4 b4 dResult, IsAmbiguousType a5 b5 eResult, IsAmbiguousType a6 b6 fResult, And aResult bResult abResult, And abResult cResult abcResult, And abcResult dResult abcdResult, And abcdResult eResult abcdeResult, And abcdeResult fResult result) => IsAmbiguousType (RTTuple6 a1 a2 a3 a4 a5 a6) (RTTuple6 b1 b2 b3 b4 b5 b6) result

data RTTuple7 :: RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTermdata RTTuple7 t0 t1 t2 t3 t4 t5 t6

Instances

• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b, RuntimeTypeMatch choices c, RuntimeTypeMatch choices d, RuntimeTypeMatch choices e, RuntimeTypeMatch choices f, RuntimeTypeMatch choices g) => RuntimeTypeMatch choices (RTTuple7 a b c d e f g)
• (HasNoConversionsRT a, HasNoConversionsRT b, HasNoConversionsRT c, HasNoConversionsRT d, HasNoConversionsRT e, HasNoConversionsRT f, HasNoConversionsRT g) => HasNoConversionsRT (RTTuple7 a b c d e f g)
• (RuntimeType a a', RuntimeType b b', RuntimeType c c', RuntimeType d d', RuntimeType e e', RuntimeType f f', RuntimeType g g') => RuntimeType (Tuple7 a b c d e f g) (RTTuple7 a' b' c' d' e' f' g')
• (IsAmbiguousType a1 b1 aResult, IsAmbiguousType a2 b2 bResult, IsAmbiguousType a3 b3 cResult, IsAmbiguousType a4 b4 dResult, IsAmbiguousType a5 b5 eResult, IsAmbiguousType a6 b6 fResult, IsAmbiguousType a7 b7 gResult, And aResult bResult abResult, And abResult cResult abcResult, And abcResult dResult abcdResult, And abcdResult eResult abcdeResult, And abcdeResult fResult abcdefResult, And abcdefResult gResult result) => IsAmbiguousType (RTTuple7 a1 a2 a3 a4 a5 a6 a7) (RTTuple7 b1 b2 b3 b4 b5 b6 b7) result

data RTTuple8 :: RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTermdata RTTuple8 t0 t1 t2 t3 t4 t5 t6 t7

Instances

• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b, RuntimeTypeMatch choices c, RuntimeTypeMatch choices d, RuntimeTypeMatch choices e, RuntimeTypeMatch choices f, RuntimeTypeMatch choices g, RuntimeTypeMatch choices h) => RuntimeTypeMatch choices (RTTuple8 a b c d e f g h)
• (HasNoConversionsRT a, HasNoConversionsRT b, HasNoConversionsRT c, HasNoConversionsRT d, HasNoConversionsRT e, HasNoConversionsRT f, HasNoConversionsRT g, HasNoConversionsRT h) => HasNoConversionsRT (RTTuple8 a b c d e f g h)
• (RuntimeType a a', RuntimeType b b', RuntimeType c c', RuntimeType d d', RuntimeType e e', RuntimeType f f', RuntimeType g g', RuntimeType h h') => RuntimeType (Tuple8 a b c d e f g h) (RTTuple8 a' b' c' d' e' f' g' h')
• (IsAmbiguousType a1 b1 aResult, IsAmbiguousType a2 b2 bResult, IsAmbiguousType a3 b3 cResult, IsAmbiguousType a4 b4 dResult, IsAmbiguousType a5 b5 eResult, IsAmbiguousType a6 b6 fResult, IsAmbiguousType a7 b7 gResult, IsAmbiguousType a8 b8 hResult, And aResult bResult abResult, And abResult cResult abcResult, And abcResult dResult abcdResult, And abcdResult eResult abcdeResult, And abcdeResult fResult abcdefResult, And abcdefResult gResult abcdefgResult, And abcdefgResult hResult result) => IsAmbiguousType (RTTuple8 a1 a2 a3 a4 a5 a6 a7 a8) (RTTuple8 b1 b2 b3 b4 b5 b6 b7 b8) result

data RTTuple9 :: RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTermdata RTTuple9 t0 t1 t2 t3 t4 t5 t6 t7 t8

Instances

• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b, RuntimeTypeMatch choices c, RuntimeTypeMatch choices d, RuntimeTypeMatch choices e, RuntimeTypeMatch choices f, RuntimeTypeMatch choices g, RuntimeTypeMatch choices h, RuntimeTypeMatch choices i) => RuntimeTypeMatch choices (RTTuple9 a b c d e f g h i)
• (HasNoConversionsRT a, HasNoConversionsRT b, HasNoConversionsRT c, HasNoConversionsRT d, HasNoConversionsRT e, HasNoConversionsRT f, HasNoConversionsRT g, HasNoConversionsRT h, HasNoConversionsRT i) => HasNoConversionsRT (RTTuple9 a b c d e f g h i)
• (RuntimeType a a', RuntimeType b b', RuntimeType c c', RuntimeType d d', RuntimeType e e', RuntimeType f f', RuntimeType g g', RuntimeType h h', RuntimeType i i') => RuntimeType (Tuple9 a b c d e f g h i) (RTTuple9 a' b' c' d' e' f' g' h' i')
• (IsAmbiguousType a1 b1 aResult, IsAmbiguousType a2 b2 bResult, IsAmbiguousType a3 b3 cResult, IsAmbiguousType a4 b4 dResult, IsAmbiguousType a5 b5 eResult, IsAmbiguousType a6 b6 fResult, IsAmbiguousType a7 b7 gResult, IsAmbiguousType a8 b8 hResult, IsAmbiguousType a9 b9 iResult, And aResult bResult abResult, And abResult cResult abcResult, And abcResult dResult abcdResult, And abcdResult eResult abcdeResult, And abcdeResult fResult abcdefResult, And abcdefResult gResult abcdefgResult, And abcdefgResult hResult abcdefghResult, And abcdefghResult iResult result) => IsAmbiguousType (RTTuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) (RTTuple9 b1 b2 b3 b4 b5 b6 b7 b8 b9) result

data RTTuple10 :: RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTerm -> RTTermdata RTTuple10 t0 t1 t2 t3 t4 t5 t6 t7 t8 t9

Instances

• (RuntimeTypeMatch choices a, RuntimeTypeMatch choices b, RuntimeTypeMatch choices c, RuntimeTypeMatch choices d, RuntimeTypeMatch choices e, RuntimeTypeMatch choices f, RuntimeTypeMatch choices g, RuntimeTypeMatch choices h, RuntimeTypeMatch choices i, RuntimeTypeMatch choices j) => RuntimeTypeMatch choices (RTTuple10 a b c d e f g h i j)
• (HasNoConversionsRT a, HasNoConversionsRT b, HasNoConversionsRT c, HasNoConversionsRT d, HasNoConversionsRT e, HasNoConversionsRT f, HasNoConversionsRT g, HasNoConversionsRT h, HasNoConversionsRT i, HasNoConversionsRT j) => HasNoConversionsRT (RTTuple10 a b c d e f g h i j)
• (RuntimeType a a', RuntimeType b b', RuntimeType c c', RuntimeType d d', RuntimeType e e', RuntimeType f f', RuntimeType g g', RuntimeType h h', RuntimeType i i', RuntimeType j j') => RuntimeType (Tuple10 a b c d e f g h i j) (RTTuple10 a' b' c' d' e' f' g' h' i' j')
• (IsAmbiguousType a1 b1 aResult, IsAmbiguousType a2 b2 bResult, IsAmbiguousType a3 b3 cResult, IsAmbiguousType a4 b4 dResult, IsAmbiguousType a5 b5 eResult, IsAmbiguousType a6 b6 fResult, IsAmbiguousType a7 b7 gResult, IsAmbiguousType a8 b8 hResult, IsAmbiguousType a9 b9 iResult, IsAmbiguousType a10 b10 jResult, And aResult bResult abResult, And abResult cResult abcResult, And abcResult dResult abcdResult, And abcdResult eResult abcdeResult, And abcdeResult fResult abcdefResult, And abcdefResult gResult abcdefgResult, And abcdefgResult hResult abcdefghResult, And abcdefghResult iResult abcdefghiResult, And abcdefghiResult jResult result) => IsAmbiguousType (RTTuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10) (RTTuple10 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10) result