module Lorentz.StoreClass.Extra
{-# DEPRECATED "Use OverloadedRecordDot instead" #-}
( (.)
) where
import Prelude ()
import Lorentz.StoreClass
infixr 8 .
(.) :: FieldRef l -> FieldRef r -> FieldRef (l :-| r)
. :: forall {k1} {k2} (l :: k1) (r :: k2).
FieldRef l -> FieldRef r -> FieldRef (l :-| r)
(.) = FieldRef l -> FieldRef r -> (:-|) l r 'FieldRefTag
FieldRef l -> FieldRef r -> FieldRefObject (l :-| r) 'FieldRefTag
forall k1 k2 (l :: k1) (r :: k2) (p :: FieldRefTag).
FieldRef l -> FieldRef r -> (:-|) l r p
(:-|)