src/Data/Expr/SharingRecovery.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

module Data.Expr.SharingRecovery (
  -- * Sharing recovery
  sharingRecovery,
  sharingRecoveryUnsafe,

  -- * Expressions
  PHOASExpr(..),
  typeOfPHOAS,
  BExpr(..),
  typeOfBExpr,
  Idx(..),

  -- * Traversing indexed structures
  Functor1(..),
  Traversable1(..),
) where

import Data.Expr.SharingRecovery.Internal