Foreign.R.Constraints

R-specific predicates for encoding form constraints in type signatures. There are no actual bindings in this module.

Documentation

type family (a :: SEXPTYPE) :∈ (as :: [SEXPTYPE]) :: Constraint where ... infix 1

The predicate a :∈ as states that a is a member type of the set as.

Equations

Any :∈ as = ()

a :∈ (a ': as) = ()

a :∈ (b ': as) = a :∈ as

type In a b = a :∈ b

Non unicode wrapper for the ':∈' type family.