module Data.Extensible.Plain (
K0(..)
, AllOf
, OneOf
, (<%)
, pluck
, bury
, (<%|)
, record
, recordAt
, (<?%)
, K1(..)
, (<?!)
)where
import Data.Extensible.Internal
import Data.Extensible.Internal.Rig
import Data.Extensible.Product
import Data.Extensible.Sum
import Data.Typeable
import Unsafe.Coerce
type AllOf xs = K0 :* xs
type OneOf xs = K0 :| xs
(<%) :: x -> AllOf xs -> AllOf (x ': xs)
(<%) = unsafeCoerce (<:*)
infixr 5 <%
pluck :: (x ∈ xs) => AllOf xs -> x
pluck = getK0 . hlookup membership
bury :: (x ∈ xs) => x -> OneOf xs
bury = embed . K0
(<%|) :: (x -> r) -> (OneOf xs -> r) -> OneOf (x ': xs) -> r
(<%|) = unsafeCoerce (<:|)
infixr 1 <%|
record :: (x ∈ xs, Functor f) => (x -> f x) -> (AllOf xs -> f (AllOf xs))
record f = sector $ unsafeCoerce f `asTypeOf` (fmap K0 . f . getK0)
recordAt :: (Functor f) => Position xs x -> (x -> f x) -> (AllOf xs -> f (AllOf xs))
recordAt pos f = sectorAt pos $ unsafeCoerce f `asTypeOf` (fmap K0 . f . getK0)
(<?%) :: (x -> a) -> Match K0 a :* xs -> Match K0 a :* (x ': xs)
(<?%) = unsafeCoerce (<:*)
infixr 1 <?%
newtype K1 a f = K1 { getK1 :: f a } deriving (Eq, Ord, Read, Typeable)
(<?!) :: (f x -> a) -> Match (K1 x) a :* xs -> Match (K1 x) a :* (f ': fs)
(<?!) = unsafeCoerce (<:*)
infixr 1 <?!