Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.PureScript.Constants
Description
Various constants which refer to things in the Prelude
Documentation
applyFlipped :: forall a. IsString a => a #
pattern Discard :: Qualified (ProperName ClassName) #
greaterThan :: forall a. IsString a => a #
lessThanOrEq :: forall a. IsString a => a #
greaterThanOrEq :: forall a. IsString a => a #
unsafeIndex :: forall a. IsString a => a #
composeFlipped :: forall a. IsString a => a #
complement :: forall a. IsString a => a #
returnEscaped :: forall a. IsString a => a #
stRefValue :: forall a. IsString a => a #
writeSTRef :: forall a. IsString a => a #
modifySTRef :: forall a. IsString a => a #
monadEffDictionary :: forall a. IsString a => a #
applicativeEffDictionary :: forall a. IsString a => a #
bindEffDictionary :: forall a. IsString a => a #
discardUnitDictionary :: forall a. IsString a => a #
semiringNumber :: forall a. IsString a => a #
semiringInt :: forall a. IsString a => a #
ringNumber :: forall a. IsString a => a #
moduloSemiringNumber :: forall a. IsString a => a #
moduloSemiringInt :: forall a. IsString a => a #
euclideanRingNumber :: forall a. IsString a => a #
euclideanRingInt :: forall a. IsString a => a #
ordBoolean :: forall a. IsString a => a #
boundedBoolean :: forall a. IsString a => a #
booleanAlgebraBoolean :: forall a. IsString a => a #
heytingAlgebraBoolean :: forall a. IsString a => a #
semigroupString :: forall a. IsString a => a #
semigroupoidFn :: forall a. IsString a => a #
toSignature :: forall a. IsString a => a #
pattern DataSymbol :: ModuleName #
pattern IsSymbol :: Qualified (ProperName ClassName) #
pattern TypeDataSymbol :: ModuleName #
pattern CompareSymbol :: Qualified (ProperName ClassName) #
pattern AppendSymbol :: Qualified (ProperName ClassName) #
pattern Prim :: ModuleName #
pattern Partial :: Qualified (ProperName ClassName) #
pattern Fail :: Qualified (ProperName ClassName) #
pattern Warn :: Qualified (ProperName ClassName) #
pattern Union :: Qualified (ProperName ClassName) #
pattern RowCons :: Qualified (ProperName ClassName) #
controlApplicative :: forall a. IsString a => a #
controlSemigroupoid :: forall a. IsString a => a #
pattern ControlBind :: ModuleName #
controlBind :: forall a. IsString a => a #
dataBounded :: forall a. IsString a => a #
dataSemigroup :: forall a. IsString a => a #
dataHeytingAlgebra :: forall a. IsString a => a #
dataSemiring :: forall a. IsString a => a #
dataEuclideanRing :: forall a. IsString a => a #
dataFunction :: forall a. IsString a => a #
dataFunctionUncurried :: forall a. IsString a => a #
dataIntBits :: forall a. IsString a => a #
partialUnsafe :: forall a. IsString a => a #
unsafePartial :: forall a. IsString a => a #