Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
Enum BinderId Source # | |
Eq BinderId Source # | |
Num BinderId Source # | |
Ord BinderId Source # | |
Defined in Blanks.Split | |
Show BinderId Source # | |
NFData BinderId Source # | |
Defined in Blanks.Split |
data SplitFunctor f a Source #
SplitFunctorBase !(f a) | |
SplitFunctorClosure !BinderId !(Seq Int) |
Instances
data SplitBinder l n f a Source #
SplitBinder | |
|
Instances
data SplitResult l n f a Source #
SplitResult | |
|
splitLocScope :: (Traversable f, Ord a) => LocScope (WithTracked a l) n f a -> SplitResult l n f a Source #