Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.PureScript.Constants.Prim

Description

Various constants which refer to things in Prim

Documentation

undefined :: forall a. IsString a => a Source #

pattern Prim :: ModuleName Source #

pattern Partial :: Qualified (ProperName 'ClassName) Source #

pattern Record :: Qualified (ProperName 'TypeName) Source #

pattern Type :: Qualified (ProperName 'TypeName) Source #

pattern Constraint :: Qualified (ProperName 'TypeName) Source #

pattern Function :: Qualified (ProperName 'TypeName) Source #

pattern Array :: Qualified (ProperName 'TypeName) Source #

pattern Row :: Qualified (ProperName 'TypeName) Source #

pattern PrimBoolean :: ModuleName Source #

booleanTrue :: Qualified (ProperName 'TypeName) Source #

booleanFalse :: Qualified (ProperName 'TypeName) Source #

pattern PrimCoerce :: ModuleName Source #

pattern Coercible :: Qualified (ProperName 'ClassName) Source #

pattern PrimOrdering :: ModuleName Source #

orderingLT :: Qualified (ProperName 'TypeName) Source #

orderingEQ :: Qualified (ProperName 'TypeName) Source #

orderingGT :: Qualified (ProperName 'TypeName) Source #

pattern PrimRow :: ModuleName Source #

pattern RowUnion :: Qualified (ProperName 'ClassName) Source #

pattern RowNub :: Qualified (ProperName 'ClassName) Source #

pattern RowCons :: Qualified (ProperName 'ClassName) Source #

pattern RowLacks :: Qualified (ProperName 'ClassName) Source #

pattern PrimRowList :: ModuleName Source #

pattern RowToList :: Qualified (ProperName 'ClassName) Source #

pattern RowListNil :: Qualified (ProperName 'TypeName) Source #

pattern RowListCons :: Qualified (ProperName 'TypeName) Source #

pattern PrimInt :: ModuleName Source #

pattern IntAdd :: Qualified (ProperName 'ClassName) Source #

pattern IntCompare :: Qualified (ProperName 'ClassName) Source #

pattern IntMul :: Qualified (ProperName 'ClassName) Source #

pattern IntToString :: Qualified (ProperName 'ClassName) Source #

pattern PrimSymbol :: ModuleName Source #

pattern SymbolCompare :: Qualified (ProperName 'ClassName) Source #

pattern SymbolAppend :: Qualified (ProperName 'ClassName) Source #

pattern SymbolCons :: Qualified (ProperName 'ClassName) Source #

pattern PrimTypeError :: ModuleName Source #

pattern Fail :: Qualified (ProperName 'ClassName) Source #

pattern Warn :: Qualified (ProperName 'ClassName) Source #

primModules :: [ModuleName] Source #

typ :: forall a. IsString a => a Source #

kindOrdering :: forall a. IsString a => a Source #

kindRowList :: forall a. IsString a => a Source #

symbol :: forall a. IsString a => a Source #

doc :: forall a. IsString a => a Source #

row :: forall a. IsString a => a Source #

constraint :: forall a. IsString a => a Source #

prim :: forall a. IsString a => a Source #

moduleBoolean :: forall a. IsString a => a Source #

moduleCoerce :: forall a. IsString a => a Source #

moduleOrdering :: forall a. IsString a => a Source #

moduleRow :: forall a. IsString a => a Source #

moduleRowList :: forall a. IsString a => a Source #

moduleSymbol :: forall a. IsString a => a Source #

moduleInt :: forall a. IsString a => a Source #

typeError :: forall a. IsString a => a Source #