module Language.PureScript.DCE.Constants where
import Prelude hiding (maybe)
import Language.PureScript.Names
unit :: ModuleName
unit :: ModuleName
unit = Text -> ModuleName
ModuleName Text
"Data.Unit"
pattern Unit :: ModuleName
pattern $bUnit :: ModuleName
$mUnit :: forall {r}. ModuleName -> ((# #) -> r) -> ((# #) -> r) -> r
Unit = ModuleName "Data.Unit"
maybeMod :: ModuleName
maybeMod :: ModuleName
maybeMod = Text -> ModuleName
ModuleName Text
"Data.Maybe"
semigroup :: ModuleName
semigroup :: ModuleName
semigroup = Text -> ModuleName
ModuleName Text
"Data.Semigroup"
pattern Semigroup :: ModuleName
pattern $bSemigroup :: ModuleName
$mSemigroup :: forall {r}. ModuleName -> ((# #) -> r) -> ((# #) -> r) -> r
Semigroup = ModuleName "Data.Semigroup"
semiring :: ModuleName
semiring :: ModuleName
semiring = Text -> ModuleName
ModuleName Text
"Data.Semiring"
ring :: ModuleName
ring :: ModuleName
ring = Text -> ModuleName
ModuleName Text
"Data.Ring"
pattern Ring :: ModuleName
pattern $bRing :: ModuleName
$mRing :: forall {r}. ModuleName -> ((# #) -> r) -> ((# #) -> r) -> r
Ring = ModuleName "Data.Ring"
pattern Semiring :: ModuleName
pattern $bSemiring :: ModuleName
$mSemiring :: forall {r}. ModuleName -> ((# #) -> r) -> ((# #) -> r) -> r
Semiring = ModuleName "Data.Semiring"
heytingAlgebra :: ModuleName
heytingAlgebra :: ModuleName
heytingAlgebra = Text -> ModuleName
ModuleName Text
"Data.HeytingAlgebra"
pattern HeytingAlgebra :: ModuleName
pattern $bHeytingAlgebra :: ModuleName
$mHeytingAlgebra :: forall {r}. ModuleName -> ((# #) -> r) -> ((# #) -> r) -> r
HeytingAlgebra = ModuleName "Data.HeytingAlgebra"
unsafeCoerce :: ModuleName
unsafeCoerce :: ModuleName
unsafeCoerce = Text -> ModuleName
ModuleName Text
"Unsafe.Coerce"
pattern UnsafeCoerce :: ModuleName
pattern $bUnsafeCoerce :: ModuleName
$mUnsafeCoerce :: forall {r}. ModuleName -> ((# #) -> r) -> ((# #) -> r) -> r
UnsafeCoerce = ModuleName "Unsafe.Coerce"
eqMod :: ModuleName
eqMod :: ModuleName
eqMod = Text -> ModuleName
ModuleName Text
"Data.Eq"
pattern Eq :: ModuleName
pattern $bEq :: ModuleName
$mEq :: forall {r}. ModuleName -> ((# #) -> r) -> ((# #) -> r) -> r
Eq = ModuleName "Data.Eq"