module Language.PureScript.Constants.Data.Traversable where

import Data.String (IsString)
import Language.PureScript.Names

traverse :: forall a. (IsString a) => a
traverse :: forall a. IsString a => a
traverse = a
"traverse"

sequence :: forall a. (IsString a) => a
sequence :: forall a. IsString a => a
sequence = a
"sequence"

pattern DataTraversable :: ModuleName
pattern $bDataTraversable :: ModuleName
$mDataTraversable :: forall {r}. ModuleName -> ((# #) -> r) -> ((# #) -> r) -> r
DataTraversable = ModuleName "Data.Traversable"

pattern Traversable :: Qualified (ProperName 'ClassName)
pattern $bTraversable :: Qualified (ProperName 'ClassName)
$mTraversable :: forall {r}.
Qualified (ProperName 'ClassName)
-> ((# #) -> r) -> ((# #) -> r) -> r
Traversable = Qualified (ByModuleName DataTraversable) (ProperName "Traversable")

identTraverse :: Qualified Ident
identTraverse :: Qualified Ident
identTraverse = forall a. QualifiedBy -> a -> Qualified a
Qualified (ModuleName -> QualifiedBy
ByModuleName ModuleName
DataTraversable) (Text -> Ident
Ident forall a. IsString a => a
traverse)