| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.HDiff.Diff.Modes
Contents
Synopsis
- type CanShare ki codes phi = forall a ix. PrepFix a ki codes phi ix -> Bool
- extractHoles :: DiffMode -> CanShare ki codes phi -> IsSharedMap -> Delta (PrepFix a ki codes phi) at -> Delta (Holes ki codes (Sum phi (MetaVarIK ki))) at
- extractProperShare :: CanShare ki codes phi -> IsSharedMap -> PrepFix a ki codes phi at -> Holes ki codes (Sum phi (MetaVarIK ki)) at
- tagProperShare :: forall a ki codes phi at. IsSharedMap -> PrepFix a ki codes phi at -> PrepFix (Int, Bool) ki codes phi at
- properShare :: forall ki codes phi at. CanShare ki codes phi -> IsSharedMap -> PrepFix (Int, Bool) ki codes phi at -> Holes ki codes (Sum phi (MetaVarIK ki)) at
- extractPatience :: CanShare ki codes phi -> IsSharedMap -> PrepFix a ki codes phi at -> Holes ki codes (Sum phi (MetaVarIK ki)) at
- patience :: forall ki codes phi at a. CanShare ki codes phi -> IsSharedMap -> PrepFix a ki codes phi at -> Holes ki codes (Sum phi (MetaVarIK ki)) at
- extractNoNested :: CanShare ki codes phi -> IsSharedMap -> Delta (PrepFix a ki codes phi) at -> Delta (Holes ki codes (Sum phi (MetaVarIK ki))) at
- noNested :: forall ki codes phi at a. CanShare ki codes phi -> IsSharedMap -> PrepFix a ki codes phi at -> Holes ki codes (Sum phi (Const Int :*: PrepFix a ki codes phi)) at
Documentation
type CanShare ki codes phi = forall a ix. PrepFix a ki codes phi ix -> Bool Source #
A predicate indicating whether a tree can be shared.
extractHoles :: DiffMode -> CanShare ki codes phi -> IsSharedMap -> Delta (PrepFix a ki codes phi) at -> Delta (Holes ki codes (Sum phi (MetaVarIK ki))) at Source #
Proper Shares
extractProperShare :: CanShare ki codes phi -> IsSharedMap -> PrepFix a ki codes phi at -> Holes ki codes (Sum phi (MetaVarIK ki)) at Source #
tagProperShare :: forall a ki codes phi at. IsSharedMap -> PrepFix a ki codes phi at -> PrepFix (Int, Bool) ki codes phi at Source #
properShare :: forall ki codes phi at. CanShare ki codes phi -> IsSharedMap -> PrepFix (Int, Bool) ki codes phi at -> Holes ki codes (Sum phi (MetaVarIK ki)) at Source #
Patience
extractPatience :: CanShare ki codes phi -> IsSharedMap -> PrepFix a ki codes phi at -> Holes ki codes (Sum phi (MetaVarIK ki)) at Source #
patience :: forall ki codes phi at a. CanShare ki codes phi -> IsSharedMap -> PrepFix a ki codes phi at -> Holes ki codes (Sum phi (MetaVarIK ki)) at Source #