Aws.Lambda.Internal.Constraints

Documentation

data Σ γ where

The dependent sum of a constraint family.

Constructors

Pack :: γ α => α -> Σ γ

spread :: Σ γ -> (forall α. γ α => α -> β) -> β

The recursion principle for the constraint family sum.

class (γ α, δ α) => (γ ⊗ δ) α

The pointwise product of two constraint families. This sadly requires -XUndecidableInstances.

Instances

(γ α, δ α) => (γ ⊗ δ) α