inline-r-0.9.1: Seamlessly call R from Haskell and vice versa. No FFI required.

Copyright(C) 2013 Amgen Inc.
Safe HaskellNone
LanguageHaskell2010

Foreign.R.Constraints

Description

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

Synopsis

Documentation

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

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 Source #

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