Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Various constants which refer to things in the Prelude
Documentation
applyFlipped :: forall a. IsString a => a Source #
greaterThan :: forall a. IsString a => a Source #
lessThanOrEq :: forall a. IsString a => a Source #
greaterThanOrEq :: forall a. IsString a => a Source #
unsafeIndex :: forall a. IsString a => a Source #
composeFlipped :: forall a. IsString a => a Source #
complement :: forall a. IsString a => a Source #
stRefValue :: forall a. IsString a => a Source #
writeSTRef :: forall a. IsString a => a Source #
modifySTRef :: forall a. IsString a => a Source #
mkEffectFn :: forall a. IsString a => a Source #
runEffectFn :: forall a. IsString a => a Source #
data EffectDictionaries Source #
discardUnitDictionary :: forall a. IsString a => a Source #
semiringNumber :: forall a. IsString a => a Source #
semiringInt :: forall a. IsString a => a Source #
ringNumber :: forall a. IsString a => a Source #
euclideanRingNumber :: forall a. IsString a => a Source #
ordBoolean :: forall a. IsString a => a Source #
boundedBoolean :: forall a. IsString a => a Source #
heytingAlgebraBoolean :: forall a. IsString a => a Source #
semigroupString :: forall a. IsString a => a Source #
semigroupoidFn :: forall a. IsString a => a Source #
categoryFn :: forall a. IsString a => a Source #
pattern DataSymbol :: ModuleName Source #
pattern DataReflectable :: ModuleName Source #
pattern Reflectable :: Qualified (ProperName 'ClassName) Source #
pattern DataOrdering :: ModuleName Source #
pattern DataFunctionUncurried :: ModuleName Source #
pattern PartialUnsafe :: ModuleName Source #
pattern LT :: Qualified (ProperName 'ConstructorName) Source #
pattern EQ :: Qualified (ProperName 'ConstructorName) Source #
pattern GT :: Qualified (ProperName 'ConstructorName) Source #
pattern DataArray :: ModuleName Source #
pattern Eff :: ModuleName Source #
pattern Effect :: ModuleName Source #
pattern ST :: ModuleName Source #
pattern ControlApply :: ModuleName Source #
pattern ControlApplicative :: ModuleName Source #
pattern Applicative :: Qualified (ProperName 'ClassName) Source #
pattern ControlSemigroupoid :: ModuleName Source #
pattern ControlBind :: ModuleName Source #
pattern ControlCategory :: ModuleName Source #
pattern ControlMonadEffUncurried :: ModuleName Source #
pattern EffectUncurried :: ModuleName Source #
pattern ControlMonadSTUncurried :: ModuleName Source #
pattern DataBounded :: ModuleName Source #
pattern DataSemigroup :: ModuleName Source #
pattern DataMonoid :: ModuleName Source #
pattern DataHeytingAlgebra :: ModuleName Source #
pattern DataEq :: ModuleName Source #
pattern DataOrd :: ModuleName Source #
pattern DataFunctor :: ModuleName Source #
pattern DataSemiring :: ModuleName Source #
pattern DataRing :: ModuleName Source #
pattern DataEuclideanRing :: ModuleName Source #
pattern DataFunction :: ModuleName Source #
pattern DataIntBits :: ModuleName Source #
unsafePartial :: forall a. IsString a => a Source #
pattern UnsafeCoerce :: ModuleName Source #
unsafeCoerceFn :: forall a. IsString a => a Source #