{-# LANGUAGE UndecidableSuperClasses #-}
{-# OPTIONS_GHC -Wno-redundant-constraints #-}
module Lorentz.EntryPoints
(
EntryPointsDerivation (..)
, ParameterHasEntryPoints (..)
, ParameterDeclaresEntryPoints
, AllParameterEntryPoints
, LookupParameterEntryPoint
, parameterEntryPointsToNotes
, GetEntryPointArg
, parameterEntryPointCall
, GetDefaultEntryPointArg
, parameterEntryPointCallDefault
, ForbidExplicitDefaultEntryPoint
, NoExplicitDefaultEntryPoint
, sepcCallRootChecked
, EntryPointRef (..)
, eprName
, GetEntryPointArgCustom
, HasEntryPointArg (..)
, HasDefEntryPointArg
, HasEntryPointOfType
, ParameterContainsEntryPoints
, TrustEpName (..)
, parameterEntryPointCallCustom
, RequireAllUniqueEntryPoints
, (:>)
, EpdNone
, EpdPlain
, EpdRecursive
, EpdDelegate
, ParameterWrapper (..)
, ShouldHaveEntryPoints (..)
) where
import Lorentz.EntryPoints.Core
import Lorentz.EntryPoints.Helpers
import Lorentz.EntryPoints.Impl
import Lorentz.EntryPoints.Manual