unbound-generics-0.1.2: Support for programming with names and binders using GHC Generics

Copyright(c) 2015, Aleksey Kliger
LicenseBSD3 (See LICENSE)
MaintainerAleksey Kliger
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010
Extensions
  • MonoLocalBinds
  • TypeFamilies
  • KindSignatures
  • ExplicitNamespaces

Unbound.Generics.LocallyNameless.Shift

Description

The pattern Shift e shifts the scope of the embedded term in e one level outwards.

Synopsis

Documentation

newtype Shift e Source

The type Shift e is an embedding pattern that shifts the scope of the free variables of the embedded term Embedded e up by one level.

Constructors

Shift e 

Instances

Functor Shift 
Subst c e => Subst c (Shift e) 
Show e => Show (Shift e) 
Alpha e => Alpha (Shift e) 
IsEmbed e => IsEmbed (Shift e) 
type Embedded (Shift e) = Embedded e