purescript-0.15.12: PureScript Programming Language Compiler

Safe Haskell | Safe-Inferred
Language | Haskell2010

Language.PureScript.Constants.Prim

Description

Various constants which refer to things in Prim

# Documentation

pattern Text :: Qualified (ProperName 'TypeName) #

pattern QuoteLabel :: Qualified (ProperName 'TypeName) #

pattern Quote :: Qualified (ProperName 'TypeName) #

pattern Doc :: Qualified (ProperName 'TypeName) #

pattern Beside :: Qualified (ProperName 'TypeName) #

pattern Above :: Qualified (ProperName 'TypeName) #

pattern Warn :: Qualified (ProperName 'ClassName) #

pattern Fail :: Qualified (ProperName 'ClassName) #

pattern M_Prim_TypeError :: ModuleName #

pattern SymbolCons :: Qualified (ProperName 'ClassName) #

pattern SymbolCompare :: Qualified (ProperName 'ClassName) #

pattern SymbolAppend :: Qualified (ProperName 'ClassName) #

pattern M_Prim_Symbol :: ModuleName #

pattern RowListNil :: Qualified (ProperName 'TypeName) #

pattern RowListCons :: Qualified (ProperName 'TypeName) #

pattern RowToList :: Qualified (ProperName 'ClassName) #

pattern RowList :: Qualified (ProperName 'TypeName) #

pattern M_Prim_RowList :: ModuleName #

pattern RowUnion :: Qualified (ProperName 'ClassName) #

pattern RowNub :: Qualified (ProperName 'ClassName) #

pattern RowLacks :: Qualified (ProperName 'ClassName) #

pattern RowCons :: Qualified (ProperName 'ClassName) #

pattern M_Prim_Row :: ModuleName #

pattern LT :: Qualified (ProperName 'TypeName) #

pattern GT :: Qualified (ProperName 'TypeName) #

pattern EQ :: Qualified (ProperName 'TypeName) #

pattern TypeOrdering :: Qualified (ProperName 'TypeName) #

pattern M_Prim_Ordering :: ModuleName #

pattern IntToString :: Qualified (ProperName 'ClassName) #

pattern IntMul :: Qualified (ProperName 'ClassName) #

pattern IntCompare :: Qualified (ProperName 'ClassName) #

pattern IntAdd :: Qualified (ProperName 'ClassName) #

pattern M_Prim_Int :: ModuleName #

pattern Coercible :: Qualified (ProperName 'ClassName) #

pattern M_Prim_Coerce :: ModuleName #

pattern True :: Qualified (ProperName 'TypeName) #

pattern False :: Qualified (ProperName 'TypeName) #

pattern M_Prim_Boolean :: ModuleName #

pattern I_undefined :: Qualified Ident #

pattern S_undefined :: forall a. (Eq a, IsString a) => a #

pattern Type :: Qualified (ProperName 'TypeName) #

pattern Symbol :: Qualified (ProperName 'TypeName) #

pattern String :: Qualified (ProperName 'TypeName) #

pattern Row :: Qualified (ProperName 'TypeName) #

pattern Record :: Qualified (ProperName 'TypeName) #

pattern Number :: Qualified (ProperName 'TypeName) #

pattern Int :: Qualified (ProperName 'TypeName) #

pattern Function :: Qualified (ProperName 'TypeName) #

pattern Constraint :: Qualified (ProperName 'TypeName) #

pattern Char :: Qualified (ProperName 'TypeName) #

pattern Boolean :: Qualified (ProperName 'TypeName) #

pattern Array :: Qualified (ProperName 'TypeName) #

pattern Partial :: Qualified (ProperName 'ClassName) #

pattern M_Prim :: ModuleName #

primModules :: [ModuleName] #