{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE OverloadedStrings          #-}

module Control.Access.RoleBased.Types
  ( Role(..)                    -- fixme: remove (..)
  , RoleValue(..)               -- fixme
  , RoleValueMeta(..)
  , RoleDataDefinition(..)
  , RoleMetadata(..)
  , Rule
  , RuleChecker
  ) where

import Control.Access.RoleBased.Internal.Types