fused-effects 项目教程

1. 项目的目录结构及介绍

fused-effects/
├── src/
│   ├── Control/
│   │   ├── Algebra/
│   │   │   ├── Carrier/
│   │   │   │   ├── Accum.hs
│   │   │   │   ├── Choose.hs
│   │   │   │   ├── Cull.hs
│   │   │   │   ├── Cut.hs
│   │   │   │   ├── Empty.hs
│   │   │   │   ├── Error.hs
│   │   │   │   └── ...
│   │   │   ├── Handler.hs
│   │   │   └── ...
│   │   ├── Carrier/
│   │   │   ├── Accum.hs
│   │   │   ├── Choose.hs
│   │   │   ├── Cull.hs
│   │   │   ├── Cut.hs
│   │   │   ├── Empty.hs
│   │   │   ├── Error.hs
│   │   │   └── ...
│   │   └── ...
│   ├── Data/
│   │   └── ...
│   └── ...
├── test/
│   └── ...
├── app/
│   └── ...
├── examples/
│   └── ...
├── CHANGELOG.md
├── LICENSE
├── README.md
├── Setup.hs
└── fused-effects.cabal

目录结构介绍

• src/: 包含项目的源代码，主要分为 Control 和 Data 等模块。
  • Control/Algebra/: 包含各种效果的定义和处理逻辑。
  • Control/Carrier/: 包含各种效果的载体实现。
• test/: 包含项目的测试代码。
• app/: 包含项目的可执行文件代码。
• examples/: 包含项目的示例代码。
• CHANGELOG.md: 项目的更新日志。
• LICENSE: 项目的许可证。
• README.md: 项目的介绍文档。
• Setup.hs: 项目的安装脚本。
• fused-effects.cabal: 项目的配置文件。

2. 项目的启动文件介绍

项目的启动文件通常位于 app/ 目录下，具体文件名取决于项目的具体实现。例如，如果有一个名为 Main.hs 的文件，它通常是项目的入口点。

module Main where

import Control.Carrier.Lift
import Control.Carrier.State.Strict
import Control.Effect.State
import System.Environment

main :: IO ()
main = do
    args <- getArgs
    runM (runState 0 (processArgs args)) >>= print

processArgs :: [String] -> Eff (State Int :+: Lift IO) ()
processArgs args = do
    modify (+1)
    lift (putStrLn "Processing arguments...")

启动文件介绍

• Main.hs: 项目的入口文件，包含 main 函数，负责启动和初始化项目。
• import 语句: 导入所需的模块和效果。
• main 函数: 项目的入口点，负责处理命令行参数并启动项目。

3. 项目的配置文件介绍

项目的配置文件通常是 fused-effects.cabal 文件，它包含了项目的元数据、依赖关系、模块列表等信息。

name:                fused-effects
version:             1.0.0
synopsis:            A fast, flexible, fused effect system for Haskell
description:         A fast, flexible, fused effect system for Haskell
homepage:            https://github.com/fused-effects/fused-effects
license:             BSD3
license-file:        LICENSE
author:              Corey O'Connor, Ali Abrar
maintainer:          [e-mail], [e-mail]
category:            Control
build-type:          Simple
extra-source-files:  CHANGELOG.md
cabal-version:       >=1.10

library
  exposed-modules:
    Control.Algebra
    Control.Carrier
    Control.Effect
    Control.Effect.Carrier
    Control.Effect.Internal
    Control.Effect.TH
    Control.Effect.Type
    Control.Effect.Void
    Control.Effect.Writer
    Data.Functor