Language.PureScript.Constants.Prelude

Various constants which refer to things in the Prelude

Documentation

apply :: forall a. IsString a => a

applyFlipped :: forall a. IsString a => a

append :: forall a. IsString a => a

mempty :: forall a. IsString a => a

bind :: forall a. IsString a => a

discard :: forall a. IsString a => a

pattern Discard :: Qualified (ProperName 'ClassName)

add :: forall a. IsString a => a

sub :: forall a. IsString a => a

mul :: forall a. IsString a => a

div :: forall a. IsString a => a

lessThan :: forall a. IsString a => a

greaterThan :: forall a. IsString a => a

lessThanOrEq :: forall a. IsString a => a

greaterThanOrEq :: forall a. IsString a => a

eq :: forall a. IsString a => a

eq1 :: forall a. IsString a => a

notEq :: forall a. IsString a => a

compare :: forall a. IsString a => a

compare1 :: forall a. IsString a => a

conj :: forall a. IsString a => a

disj :: forall a. IsString a => a

unsafeIndex :: forall a. IsString a => a

or :: forall a. IsString a => a

and :: forall a. IsString a => a

xor :: forall a. IsString a => a

compose :: forall a. IsString a => a

composeFlipped :: forall a. IsString a => a

map :: forall a. IsString a => a

negate :: forall a. IsString a => a

not :: forall a. IsString a => a

shl :: forall a. IsString a => a

shr :: forall a. IsString a => a

zshr :: forall a. IsString a => a

complement :: forall a. IsString a => a

identity :: forall a. IsString a => a

zero :: forall a. IsString a => a

one :: forall a. IsString a => a

bottom :: forall a. IsString a => a

top :: forall a. IsString a => a

pure' :: forall a. IsString a => a

runST :: forall a. IsString a => a

stRefValue :: forall a. IsString a => a

newSTRef :: forall a. IsString a => a

readSTRef :: forall a. IsString a => a

writeSTRef :: forall a. IsString a => a

modifySTRef :: forall a. IsString a => a

mkFn :: forall a. IsString a => a

runFn :: forall a. IsString a => a

mkEffFn :: forall a. IsString a => a

runEffFn :: forall a. IsString a => a

mkEffectFn :: forall a. IsString a => a

runEffectFn :: forall a. IsString a => a

mkSTFn :: forall a. IsString a => a

runSTFn :: forall a. IsString a => a

data EffectDictionaries

Constructors

EffectDictionaries

Fields

• edApplicativeDict :: PSString
• edBindDict :: PSString
• edMonadDict :: PSString
• edWhile :: PSString
• edUntil :: PSString

effDictionaries :: EffectDictionaries

effectDictionaries :: EffectDictionaries

stDictionaries :: EffectDictionaries

discardUnitDictionary :: forall a. IsString a => a

semiringNumber :: forall a. IsString a => a

semiringInt :: forall a. IsString a => a

ringNumber :: forall a. IsString a => a

ringInt :: forall a. IsString a => a

euclideanRingNumber :: forall a. IsString a => a

ordBoolean :: forall a. IsString a => a

ordNumber :: forall a. IsString a => a

ordInt :: forall a. IsString a => a

ordString :: forall a. IsString a => a

ordChar :: forall a. IsString a => a

eqNumber :: forall a. IsString a => a

eqInt :: forall a. IsString a => a

eqString :: forall a. IsString a => a

eqChar :: forall a. IsString a => a

eqBoolean :: forall a. IsString a => a

boundedBoolean :: forall a. IsString a => a

heytingAlgebraBoolean :: forall a. IsString a => a

semigroupString :: forall a. IsString a => a

semigroupoidFn :: forall a. IsString a => a

categoryFn :: forall a. IsString a => a

pattern DataSymbol :: ModuleName

pattern IsSymbol :: Qualified (ProperName 'ClassName)

pattern DataReflectable :: ModuleName

pattern Reflectable :: Qualified (ProperName 'ClassName)

pattern DataOrdering :: ModuleName

pattern DataFunctionUncurried :: ModuleName

pattern PartialUnsafe :: ModuleName

pattern Ordering :: Qualified (ProperName 'TypeName)

pattern LT :: Qualified (ProperName 'ConstructorName)

pattern EQ :: Qualified (ProperName 'ConstructorName)

pattern GT :: Qualified (ProperName 'ConstructorName)

pattern DataArray :: ModuleName

pattern Eff :: ModuleName

pattern Effect :: ModuleName

pattern ST :: ModuleName

pattern ControlApply :: ModuleName

pattern Apply :: Qualified (ProperName 'ClassName)

identApply :: Qualified Ident

pattern ControlApplicative :: ModuleName

pattern Applicative :: Qualified (ProperName 'ClassName)

identPure :: Qualified Ident

pattern ControlSemigroupoid :: ModuleName

pattern ControlBind :: ModuleName

pattern ControlCategory :: ModuleName

pattern Category :: Qualified (ProperName 'ClassName)

identIdentity :: Qualified Ident

pattern ControlMonadEffUncurried :: ModuleName

pattern EffectUncurried :: ModuleName

pattern ControlMonadSTUncurried :: ModuleName

pattern DataBounded :: ModuleName

pattern DataSemigroup :: ModuleName

identAppend :: Qualified Ident

pattern DataMonoid :: ModuleName

identMempty :: Qualified Ident

pattern DataHeytingAlgebra :: ModuleName

pattern DataEq :: ModuleName

pattern Eq :: Qualified (ProperName 'ClassName)

pattern Eq1 :: Qualified (ProperName 'ClassName)

identEq :: Qualified Ident

identEq1 :: Qualified Ident

pattern DataOrd :: ModuleName

pattern Ord :: Qualified (ProperName 'ClassName)

pattern Ord1 :: Qualified (ProperName 'ClassName)

identCompare :: Qualified Ident

identCompare1 :: Qualified Ident

pattern DataFunctor :: ModuleName

pattern Functor :: Qualified (ProperName 'ClassName)

identMap :: Qualified Ident

pattern DataSemiring :: ModuleName

pattern DataRing :: ModuleName

pattern DataEuclideanRing :: ModuleName

pattern DataFunction :: ModuleName

identFlip :: Qualified Ident

flip :: forall a. IsString a => a

pattern DataIntBits :: ModuleName

unsafePartial :: forall a. IsString a => a

pattern UnsafeCoerce :: ModuleName

unsafeCoerceFn :: forall a. IsString a => a