Language.PS.SmartCST.ProcessSmartDeclaration

type App = ReaderT ModuleName (State (Array ImportDecl))

processSmartQualifiedName :: forall a. (a -> Import -> Boolean) -> (a -> Import -> Import) -> (a -> Import) -> SmartQualifiedName a -> App (QualifiedName a)

processSmartQualifiedNameValue :: SmartQualifiedName Ident -> App (QualifiedName Ident)

processSmartQualifiedNameOp :: SmartQualifiedName (OpName OpNameType_ValueOpName) -> App (QualifiedName (OpName OpNameType_ValueOpName))

processSmartQualifiedNameType :: SmartQualifiedName (ProperName ProperNameType_TypeConstructor) -> App (QualifiedName (ProperName ProperNameType_TypeConstructor))

processSmartQualifiedNameTypeOp :: SmartQualifiedName (OpName OpNameType_TypeOpName) -> App (QualifiedName (OpName OpNameType_TypeOpName))

processSmartQualifiedNameClass :: SmartQualifiedName (ProperName ProperNameType_ClassName) -> App (QualifiedName (ProperName ProperNameType_ClassName))

processSmartQualifiedNameKind :: SmartQualifiedName (ProperName ProperNameType_TypeConstructor) -> App (QualifiedName (ProperName ProperNameType_TypeConstructor))

processSmartQualifiedNameTypeConstructor :: SmartQualifiedNameConstructor -> App (QualifiedName (ProperName ProperNameType_ConstructorName))

processDeclarations :: ModuleName -> Array Declaration -> (Array Declaration) /\ (Array ImportDecl)

processDeclaration :: Declaration -> App Declaration

processDataHead :: DataHead -> App DataHead

processTypeVarBinding :: TypeVarBinding -> App TypeVarBinding

processDataCtor :: DataCtor -> App DataCtor

processType :: PSType -> App PSType

processInstanceHead :: InstanceHead -> App InstanceHead

processForeign :: Foreign -> App Foreign

processFixityFields :: FixityFields -> App FixityFields

processFixityOp :: FixityOp -> App FixityOp

processRow :: PSRow -> App PSRow

processConstraint :: PSConstraint -> App PSConstraint

processClassHead :: ClassHead -> App ClassHead

processValueBindingFields :: ValueBindingFields -> App ValueBindingFields

processBinder :: Binder -> App Binder

processGuarded :: Guarded -> App Guarded

processWhere :: Where -> App Where

processLetBinding :: LetBinding -> App LetBinding

processGuardedExpr :: GuardedExpr -> App GuardedExpr

processPatternGuard :: PatternGuard -> App PatternGuard

processExpr :: Expr -> App Expr

processRecordAccessor :: RecordAccessor -> App RecordAccessor

processRecordUpdate :: RecordUpdate -> App RecordUpdate

processLambda :: Lambda -> App Lambda

processIfThenElse :: IfThenElse -> App IfThenElse

processCaseOf :: CaseOf -> App CaseOf

processLetIn :: LetIn -> App LetIn

processDoStatement :: DoStatement -> App DoStatement

processAdoBlock :: AdoBlock -> App AdoBlock

processInstanceBinding :: InstanceBinding -> App InstanceBinding

processInstance :: Instance -> App Instance