aws-lambda-0.1.0.0: Haskell bindings for AWS Lambda
Aws.Lambda.Internal.Constraints
Synopsis
data Σ γ where Source
The dependent sum of a constraint family.
Constructors
spread :: Σ γ -> (forall α. γ α => α -> β) -> β Source
The recursion principle for the constraint family sum.
class (γ α, δ α) => (γ ⊗ δ) α Source
The pointwise product of two constraint families. This sadly requires -XUndecidableInstances.
-XUndecidableInstances
Instances