Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.PureScript.Constants.Libs
Description
Various constants which refer to things in the Prelude and other core libraries
Documentation
stRefValue :: IsString a => a #
data EffectDictionaries #
Constructors
EffectDictionaries | |
Fields
|
pattern P_unsafeCoerce :: (Eq a, IsString a) => (ModuleName, a) #
pattern M_Unsafe_Coerce :: ModuleName #
pattern P_runSTFn :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_mkSTFn :: (Eq a, IsString a) => (ModuleName, a) #
pattern M_Control_Monad_ST_Uncurried :: ModuleName #
pattern P_write :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_run :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_read :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_new :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_modify :: (Eq a, IsString a) => (ModuleName, a) #
pattern M_Control_Monad_ST_Internal :: ModuleName #
pattern I_profunctorRmap :: Qualified Ident #
pattern Profunctor :: Qualified (ProperName 'ClassName) #
pattern M_Data_Profunctor :: ModuleName #
pattern I_unsafePartial :: Qualified Ident #
pattern P_unsafePartial :: (Eq a, IsString a) => (ModuleName, a) #
pattern M_Partial_Unsafe :: ModuleName #
pattern Newtype :: Qualified (ProperName 'ClassName) #
pattern M_Data_Newtype :: ModuleName #
pattern P_zshr :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_xor :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_shr :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_shl :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_or :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_complement :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_and :: (Eq a, IsString a) => (ModuleName, a) #
pattern M_Data_Int_Bits :: ModuleName #
pattern P_runFn :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_mkFn :: (Eq a, IsString a) => (ModuleName, a) #
pattern M_Data_Function_Uncurried :: ModuleName #
pattern S_sequence :: (Eq a, IsString a) => a #
pattern S_traverse :: (Eq a, IsString a) => a #
pattern I_traverse :: Qualified Ident #
pattern Traversable :: Qualified (ProperName 'ClassName) #
pattern M_Data_Traversable :: ModuleName #
pattern Foldable :: Qualified (ProperName 'ClassName) #
pattern M_Data_Foldable :: ModuleName #
pattern I_rtraverse :: Qualified Ident #
pattern I_ltraverse :: Qualified Ident #
pattern S_bisequence :: (Eq a, IsString a) => a #
pattern S_bitraverse :: (Eq a, IsString a) => a #
pattern I_bitraverse :: Qualified Ident #
pattern Bitraversable :: Qualified (ProperName 'ClassName) #
pattern M_Data_Bitraversable :: ModuleName #
pattern I_bifoldMap :: Qualified Ident #
pattern S_bifoldMap :: (Eq a, IsString a) => a #
pattern Bifoldable :: Qualified (ProperName 'ClassName) #
pattern M_Data_Bifoldable :: ModuleName #
pattern P_runEffectFn :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_mkEffectFn :: (Eq a, IsString a) => (ModuleName, a) #
pattern M_Effect_Uncurried :: ModuleName #
pattern M_Effect :: ModuleName #
pattern P_runEffFn :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_mkEffFn :: (Eq a, IsString a) => (ModuleName, a) #
pattern M_Control_Monad_Eff_Uncurried :: ModuleName #
pattern M_Control_Monad_Eff :: ModuleName #
pattern Contravariant :: Qualified (ProperName 'ClassName) #
pattern M_Data_Functor_Contravariant :: ModuleName #
pattern Bifunctor :: Qualified (ProperName 'ClassName) #
pattern M_Data_Bifunctor :: ModuleName #
pattern P_unsafeIndex :: (Eq a, IsString a) => (ModuleName, a) #
pattern M_Data_Array :: ModuleName #
pattern IsSymbol :: Qualified (ProperName 'ClassName) #
pattern M_Data_Symbol :: ModuleName #
pattern P_semiringNumber :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_semiringInt :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_zero :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_one :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_mul :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_add :: (Eq a, IsString a) => (ModuleName, a) #
pattern M_Data_Semiring :: ModuleName #
pattern P_semigroupString :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_append :: (Eq a, IsString a) => (ModuleName, a) #
pattern M_Data_Semigroup :: ModuleName #
pattern P_ringNumber :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_ringInt :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_sub :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_negate :: (Eq a, IsString a) => (ModuleName, a) #
pattern M_Data_Ring :: ModuleName #
pattern Reflectable :: Qualified (ProperName 'ClassName) #
pattern M_Data_Reflectable :: ModuleName #
pattern C_LT :: Qualified (ProperName 'ConstructorName) #
pattern C_GT :: Qualified (ProperName 'ConstructorName) #
pattern C_EQ :: Qualified (ProperName 'ConstructorName) #
pattern Ordering :: Qualified (ProperName 'TypeName) #
pattern M_Data_Ordering :: ModuleName #
pattern P_ordString :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_ordNumber :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_ordInt :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_ordChar :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_ordBoolean :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_lessThanOrEq :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_lessThan :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_greaterThanOrEq :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_greaterThan :: (Eq a, IsString a) => (ModuleName, a) #
pattern I_compare1 :: Qualified Ident #
pattern S_compare1 :: (Eq a, IsString a) => a #
pattern Ord1 :: Qualified (ProperName 'ClassName) #
pattern Ord :: Qualified (ProperName 'ClassName) #
pattern M_Data_Ord :: ModuleName #
pattern M_Data_Monoid :: ModuleName #
pattern P_heytingAlgebraBoolean :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_not :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_disj :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_conj :: (Eq a, IsString a) => (ModuleName, a) #
pattern M_Data_HeytingAlgebra :: ModuleName #
pattern C_Inr :: Qualified (ProperName 'ConstructorName) #
pattern C_Inl :: Qualified (ProperName 'ConstructorName) #
pattern Sum :: Qualified (ProperName 'TypeName) #
pattern C_Product :: Qualified (ProperName 'ConstructorName) #
pattern Product :: Qualified (ProperName 'TypeName) #
pattern C_NoConstructors :: Qualified (ProperName 'ConstructorName) #
pattern NoConstructors :: Qualified (ProperName 'TypeName) #
pattern C_NoArguments :: Qualified (ProperName 'ConstructorName) #
pattern NoArguments :: Qualified (ProperName 'TypeName) #
pattern C_Constructor :: Qualified (ProperName 'ConstructorName) #
pattern Constructor :: Qualified (ProperName 'TypeName) #
pattern C_Argument :: Qualified (ProperName 'ConstructorName) #
pattern Argument :: Qualified (ProperName 'TypeName) #
pattern Generic :: Qualified (ProperName 'ClassName) #
pattern M_Data_Generic_Rep :: ModuleName #
pattern Functor :: Qualified (ProperName 'ClassName) #
pattern M_Data_Functor :: ModuleName #
pattern I_functionApplyFlipped :: Qualified Ident #
pattern I_functionApply :: Qualified Ident #
pattern M_Data_Function :: ModuleName #
pattern P_euclideanRingNumber :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_div :: (Eq a, IsString a) => (ModuleName, a) #
pattern M_Data_EuclideanRing :: ModuleName #
pattern P_eqString :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_eqNumber :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_eqInt :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_eqChar :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_eqBoolean :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_notEq :: (Eq a, IsString a) => (ModuleName, a) #
pattern Eq1 :: Qualified (ProperName 'ClassName) #
pattern P_eq :: (Eq a, IsString a) => (ModuleName, a) #
pattern Eq :: Qualified (ProperName 'ClassName) #
pattern M_Data_Eq :: ModuleName #
pattern P_boundedBoolean :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_top :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_bottom :: (Eq a, IsString a) => (ModuleName, a) #
pattern M_Data_Bounded :: ModuleName #
pattern P_semigroupoidFn :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_composeFlipped :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_compose :: (Eq a, IsString a) => (ModuleName, a) #
pattern M_Control_Semigroupoid :: ModuleName #
pattern P_categoryFn :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_identity :: (Eq a, IsString a) => (ModuleName, a) #
pattern I_identity :: Qualified Ident #
pattern M_Control_Category :: ModuleName #
pattern P_discardUnit :: (Eq a, IsString a) => (ModuleName, a) #
pattern P_discard :: (Eq a, IsString a) => (ModuleName, a) #
pattern Discard :: Qualified (ProperName 'ClassName) #
pattern P_bind :: (Eq a, IsString a) => (ModuleName, a) #
pattern M_Control_Bind :: ModuleName #
pattern P_pure :: (Eq a, IsString a) => (ModuleName, a) #
pattern M_Control_Applicative :: ModuleName #
pattern M_Control_Apply :: ModuleName #