functional_zipper 0.0.2 functional_zipper: ^0.0.2 copied to clipboard
A library implementing functional zippers following Huet's paper.
Use this package as a library
Depend on it
Run this command:
With Dart:
$ dart pub add functional_zipper
With Flutter:
$ flutter pub add functional_zipper
This will add a line like this to your package's pubspec.yaml (and run an implicit dart pub get
):
dependencies:
functional_zipper: ^0.0.2
Alternatively, your editor might support dart pub get
or flutter pub get
. Check the docs for your editor to learn more.
Import it
Now in your Dart code, you can use:
import 'package:functional_zipper/functional_zipper.dart';