LocallyNameless.hs

-- |
-- Module     : Unbound.Generics.LocallyNameless
-- Copyright  : (c) 2014, Aleksey Kliger
-- License    : BSD3 (See LICENSE)
-- Maintainer : Aleksey Kliger
-- Stability  : experimental
--
--
-- See 'Alpha', 'Bind', "Unbound.Generics.LocallyNameless.Operations" to get started. 
module Unbound.Generics.LocallyNameless (
  module Unbound.Generics.LocallyNameless.Alpha,
  module Unbound.Generics.LocallyNameless.Name,
  module Unbound.Generics.LocallyNameless.Operations,
  module Unbound.Generics.LocallyNameless.Bind,
  module Unbound.Generics.LocallyNameless.Embed,
  module Unbound.Generics.LocallyNameless.Rebind,
  module Unbound.Generics.LocallyNameless.Rec,
  module Unbound.Generics.LocallyNameless.Fresh,
  module Unbound.Generics.LocallyNameless.LFresh,
  module Unbound.Generics.LocallyNameless.Subst
  ) where

import Unbound.Generics.LocallyNameless.Alpha
import Unbound.Generics.LocallyNameless.Name hiding (Bn, Fn)
import Unbound.Generics.LocallyNameless.Bind hiding (B)
import Unbound.Generics.LocallyNameless.Embed
import Unbound.Generics.LocallyNameless.Rebind hiding (Rebnd)
import Unbound.Generics.LocallyNameless.Rec
import Unbound.Generics.LocallyNameless.Fresh
import Unbound.Generics.LocallyNameless.LFresh
import Unbound.Generics.LocallyNameless.Operations
import Unbound.Generics.LocallyNameless.Subst