-- | Various constants used by zephyr.
--
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"