soas-0.3.2: Second-Order Abstract Syntax implemented via Free Foil (a version of SOAS).
Safe HaskellNone
LanguageHaskell2010

Language.SOAS.FreeFoilConfig

Documentation

intToVarIdent :: Int -> VarIdent Source #

rawVar :: VarIdent -> Term' a Source #

rawTypeVar :: VarIdent -> Type' a Source #

rawScopedTerm :: Term' a -> ScopedTerm' a Source #

rawScopedType :: Type' a -> ScopedType' a Source #

rawScopeToTerm :: ScopedTerm' a -> Term' a Source #

rawScopeToType :: ScopedType' a -> Type' a Source #

soasConfig :: FreeFoilConfig Source #