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)