purescript-0.10.4: PureScript Programming Language Compiler

Safe HaskellNone
LanguageHaskell98

Language.PureScript.TypeChecker.Rows

Description

Functions relating to type checking for rows

Synopsis

Documentation

checkDuplicateLabels :: forall m. MonadError MultipleErrors m => Expr -> m () Source #

Ensure rows do not contain duplicate labels