-- | Various constants used by zephyr.
--
module Language.PureScript.DCE.Constants where

import Prelude hiding (maybe)

import Language.PureScript.Names


unit :: ModuleName
unit =  ModuleName "Data.Unit"

pattern Unit :: ModuleName
pattern Unit = ModuleName "Data.Unit"

maybeMod :: ModuleName
maybeMod = ModuleName "Data.Maybe"

semigroup :: ModuleName
semigroup = ModuleName "Data.Semigroup"

pattern Semigroup :: ModuleName
pattern Semigroup = ModuleName "Data.Semigroup"

semiring :: ModuleName
semiring = ModuleName "Data.Semiring"

ring :: ModuleName
ring = ModuleName "Data.Ring"

pattern Ring :: ModuleName
pattern Ring = ModuleName "Data.Ring"

pattern Semiring :: ModuleName
pattern Semiring = ModuleName "Data.Semiring"

heytingAlgebra :: ModuleName
heytingAlgebra = ModuleName "Data.HeytingAlgebra"

pattern HeytingAlgebra :: ModuleName
pattern HeytingAlgebra = ModuleName "Data.HeytingAlgebra"

unsafeCoerce :: ModuleName
unsafeCoerce = ModuleName "Unsafe.Coerce"

pattern UnsafeCoerce :: ModuleName
pattern UnsafeCoerce = ModuleName "Unsafe.Coerce"

eqMod :: ModuleName
eqMod = ModuleName "Data.Eq"

pattern Eq :: ModuleName
pattern Eq = ModuleName "Data.Eq"