Unsafe.hs

{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE UnboxedTuples #-}
{-# LANGUAGE UnliftedNewtypes #-}

{- |
This module provides __unsafe__ internals of "Control.Monad.Borrow.Pure.Lifetime.Token".
These are not meant to be used by end-users, so generally YOU SHOULD NOT import this module, and import "Control.Monad.Borrow.Pure.Lifetime.Token" instead.

This module is meant for library authors who want to build a new API on top of Pure Borrow.
This module provides internals of 'BO' and 'Alias', which can break the soundness guarded by the role system.
We __STRONGLY__ recommend to you to import only the needed parts of the definitions, and not to import everything or qualified.
-}
module Control.Monad.Borrow.Pure.Lifetime.Token.Unsafe (
  Linearly (..),
  LinearOnly (..),
  LinearOnlyWitness (..),
  Now (..),
  End (..),
  EndToken (..),
) where

import Control.Monad.Borrow.Pure.Lifetime.Token.Internal