Safe Haskell | None |
---|---|
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 :: (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] #