Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Vinyl.Notation

Synopsis

(<+>) :: Rec f as -> Rec f bs -> Rec f (as ++ bs)
(<<*>>) :: RApply rs => Rec (Lift (->) f g) rs -> Rec f rs -> Rec g rs
(<<$>>) :: RMap rs => (forall x. f x -> g x) -> Rec f rs -> Rec g rs
(<<&>>) :: RMap rs => Rec f rs -> (forall x. f x -> g x) -> Rec g rs
data Rec :: (u -> *) -> [u] -> * where
- (:&) :: !(f r) -> !(Rec f rs) -> Rec f (r ': rs)
type (∈) r rs = RElem r rs (RIndex r rs)
type (⊆) rs ss = RSubset rs ss (RImage rs ss)
type (≅) rs ss = REquivalent rs ss (RImage rs ss) (RImage ss rs)
type (<:) rs ss = rs ⊆ ss
type (:~:) rs ss = rs ≅ ss

Documentation

(<+>) :: Rec f as -> Rec f bs -> Rec f (as ++ bs) infixr 5 Source #

A shorthand for rappend.

(<<*>>) :: RApply rs => Rec (Lift (->) f g) rs -> Rec f rs -> Rec g rs infixl 8 Source #

A shorthand for rapply.

(<<$>>) :: RMap rs => (forall x. f x -> g x) -> Rec f rs -> Rec g rs infixl 8 Source #

A shorthand for rmap.

(<<&>>) :: RMap rs => Rec f rs -> (forall x. f x -> g x) -> Rec g rs Source #

An inverted shorthand for rmap.

data Rec :: (u -> *) -> [u] -> * where Source #

A record is parameterized by a universe u, an interpretation f and a list of rows rs. The labels or indices of the record are given by inhabitants of the kind u; the type of values at any label r :: u is given by its interpretation f r :: *.

Constructors

(:&) :: !(f r) -> !(Rec f rs) -> Rec f (r ': rs) infixr 7

Instances

Instances details

RecSubset (Rec :: (k -> Type) -> [k] -> Type) ('[] :: [k]) (ss :: [k]) ('[] :: [Nat]) Source #
Instance details Defined in Data.Vinyl.Lens Associated Types type RecSubsetFCtx Rec f Source # Methods rsubsetC :: forall g (f :: k0 -> Type). (Functor g, RecSubsetFCtx Rec f) => (Rec f '[] -> g (Rec f '[])) -> Rec f ss -> g (Rec f ss) Source # rcastC :: forall (f :: k0 -> Type). RecSubsetFCtx Rec f => Rec f ss -> Rec f '[] Source # rreplaceC :: forall (f :: k0 -> Type). RecSubsetFCtx Rec f => Rec f '[] -> Rec f ss -> Rec f ss Source #
(RElem r ss i, RSubset rs ss is) => RecSubset (Rec :: (k -> Type) -> [k] -> Type) (r ': rs :: [k]) (ss :: [k]) (i ': is) Source #
Instance details Defined in Data.Vinyl.Lens Associated Types type RecSubsetFCtx Rec f Source # Methods rsubsetC :: forall g (f :: k0 -> Type). (Functor g, RecSubsetFCtx Rec f) => (Rec f (r ': rs) -> g (Rec f (r ': rs))) -> Rec f ss -> g (Rec f ss) Source # rcastC :: forall (f :: k0 -> Type). RecSubsetFCtx Rec f => Rec f ss -> Rec f (r ': rs) Source # rreplaceC :: forall (f :: k0 -> Type). RecSubsetFCtx Rec f => Rec f (r ': rs) -> Rec f ss -> Rec f ss Source #
RecElem (Rec :: (a -> Type) -> [a] -> Type) (r :: a) (r' :: a) (r ': rs :: [a]) (r' ': rs :: [a]) 'Z Source #
Instance details Defined in Data.Vinyl.Lens Associated Types type RecElemFCtx Rec f Source # Methods rlensC :: (Functor g, RecElemFCtx Rec f) => (f r -> g (f r')) -> Rec f (r ': rs) -> g (Rec f (r' ': rs)) Source # rgetC :: (RecElemFCtx Rec f, r ~ r') => Rec f (r ': rs) -> f r Source # rputC :: RecElemFCtx Rec f => f r' -> Rec f (r ': rs) -> Rec f (r' ': rs) Source #
(RIndex r (s ': rs) ~ 'S i, RecElem (Rec :: (a -> Type) -> [a] -> Type) r r' rs rs' i) => RecElem (Rec :: (a -> Type) -> [a] -> Type) (r :: a) (r' :: a) (s ': rs :: [a]) (s ': rs' :: [a]) ('S i) Source #
Instance details Defined in Data.Vinyl.Lens Associated Types type RecElemFCtx Rec f Source # Methods rlensC :: (Functor g, RecElemFCtx Rec f) => (f r -> g (f r')) -> Rec f (s ': rs) -> g (Rec f (s ': rs')) Source # rgetC :: (RecElemFCtx Rec f, r ~ r') => Rec f (s ': rs) -> f r Source # rputC :: RecElemFCtx Rec f => f r' -> Rec f (s ': rs) -> Rec f (s ': rs') Source #
TestCoercion f => TestCoercion (Rec f :: [u] -> Type) Source #
Instance details Defined in Data.Vinyl.Core Methods testCoercion :: forall (a :: k) (b :: k). Rec f a -> Rec f b -> Maybe (Coercion a b)
TestEquality f => TestEquality (Rec f :: [u] -> Type) Source #
Instance details Defined in Data.Vinyl.Core Methods testEquality :: forall (a :: k) (b :: k). Rec f a -> Rec f b -> Maybe (a :~: b)
(Storable (f r), Storable (Rec f rs)) => Storable (Rec f (r ': rs)) Source #
Instance details Defined in Data.Vinyl.Core Methods sizeOf :: Rec f (r ': rs) -> Int alignment :: Rec f (r ': rs) -> Int peekElemOff :: Ptr (Rec f (r ': rs)) -> Int -> IO (Rec f (r ': rs)) pokeElemOff :: Ptr (Rec f (r ': rs)) -> Int -> Rec f (r ': rs) -> IO () peekByteOff :: Ptr b -> Int -> IO (Rec f (r ': rs)) pokeByteOff :: Ptr b -> Int -> Rec f (r ': rs) -> IO () peek :: Ptr (Rec f (r ': rs)) -> IO (Rec f (r ': rs)) poke :: Ptr (Rec f (r ': rs)) -> Rec f (r ': rs) -> IO ()
Storable (Rec f ('[] :: [u])) Source #
Instance details Defined in Data.Vinyl.Core Methods sizeOf :: Rec f '[] -> Int alignment :: Rec f '[] -> Int peekElemOff :: Ptr (Rec f '[]) -> Int -> IO (Rec f '[]) pokeElemOff :: Ptr (Rec f '[]) -> Int -> Rec f '[] -> IO () peekByteOff :: Ptr b -> Int -> IO (Rec f '[]) pokeByteOff :: Ptr b -> Int -> Rec f '[] -> IO () peek :: Ptr (Rec f '[]) -> IO (Rec f '[]) poke :: Ptr (Rec f '[]) -> Rec f '[] -> IO ()
(Monoid (f r), Monoid (Rec f rs)) => Monoid (Rec f (r ': rs)) Source #
Instance details Defined in Data.Vinyl.Core Methods mempty :: Rec f (r ': rs) mappend :: Rec f (r ': rs) -> Rec f (r ': rs) -> Rec f (r ': rs) mconcat :: [Rec f (r ': rs)] -> Rec f (r ': rs)
Monoid (Rec f ('[] :: [u])) Source #
Instance details Defined in Data.Vinyl.Core Methods mempty :: Rec f '[] mappend :: Rec f '[] -> Rec f '[] -> Rec f '[] mconcat :: [Rec f '[]] -> Rec f '[]
(Semigroup (f r), Semigroup (Rec f rs)) => Semigroup (Rec f (r ': rs)) Source #
Instance details Defined in Data.Vinyl.Core Methods (<>) :: Rec f (r ': rs) -> Rec f (r ': rs) -> Rec f (r ': rs) sconcat :: NonEmpty (Rec f (r ': rs)) -> Rec f (r ': rs) stimes :: Integral b => b -> Rec f (r ': rs) -> Rec f (r ': rs)
Semigroup (Rec f ('[] :: [u])) Source #
Instance details Defined in Data.Vinyl.Core Methods (<>) :: Rec f '[] -> Rec f '[] -> Rec f '[] sconcat :: NonEmpty (Rec f '[]) -> Rec f '[] stimes :: Integral b => b -> Rec f '[] -> Rec f '[]
Generic (Rec f rs) => Generic (Rec f (r ': rs)) Source #
Instance details Defined in Data.Vinyl.Core Associated Types type Rep (Rec f (r ': rs)) :: Type -> Type Methods from :: Rec f (r ': rs) -> Rep (Rec f (r ': rs)) x to :: Rep (Rec f (r ': rs)) x -> Rec f (r ': rs)
Generic (Rec f ('[] :: [u])) Source #
Instance details Defined in Data.Vinyl.Core Associated Types type Rep (Rec f '[]) :: Type -> Type Methods from :: Rec f '[] -> Rep (Rec f '[]) x to :: Rep (Rec f '[]) x -> Rec f '[]
(RMap rs, ReifyConstraint Show f rs, RecordToList rs) => Show (Rec f rs) Source #	Records may be shown insofar as their points may be shown. `reifyConstraint` is used to great effect here.
Instance details Defined in Data.Vinyl.Core Methods showsPrec :: Int -> Rec f rs -> ShowS show :: Rec f rs -> String showList :: [Rec f rs] -> ShowS
ReifyConstraint NFData f xs => NFData (Rec f xs) Source #
Instance details Defined in Data.Vinyl.Core Methods rnf :: Rec f xs -> ()
(Eq (f r), Eq (Rec f rs)) => Eq (Rec f (r ': rs)) Source #
Instance details Defined in Data.Vinyl.Core Methods (==) :: Rec f (r ': rs) -> Rec f (r ': rs) -> Bool (/=) :: Rec f (r ': rs) -> Rec f (r ': rs) -> Bool
Eq (Rec f ('[] :: [u])) Source #
Instance details Defined in Data.Vinyl.Core Methods (==) :: Rec f '[] -> Rec f '[] -> Bool (/=) :: Rec f '[] -> Rec f '[] -> Bool
(Ord (f r), Ord (Rec f rs)) => Ord (Rec f (r ': rs)) Source #
Instance details Defined in Data.Vinyl.Core Methods compare :: Rec f (r ': rs) -> Rec f (r ': rs) -> Ordering (<) :: Rec f (r ': rs) -> Rec f (r ': rs) -> Bool (<=) :: Rec f (r ': rs) -> Rec f (r ': rs) -> Bool (>) :: Rec f (r ': rs) -> Rec f (r ': rs) -> Bool (>=) :: Rec f (r ': rs) -> Rec f (r ': rs) -> Bool max :: Rec f (r ': rs) -> Rec f (r ': rs) -> Rec f (r ': rs) min :: Rec f (r ': rs) -> Rec f (r ': rs) -> Rec f (r ': rs)
Ord (Rec f ('[] :: [u])) Source #
Instance details Defined in Data.Vinyl.Core Methods compare :: Rec f '[] -> Rec f '[] -> Ordering (<) :: Rec f '[] -> Rec f '[] -> Bool (<=) :: Rec f '[] -> Rec f '[] -> Bool (>) :: Rec f '[] -> Rec f '[] -> Bool (>=) :: Rec f '[] -> Rec f '[] -> Bool max :: Rec f '[] -> Rec f '[] -> Rec f '[] min :: Rec f '[] -> Rec f '[] -> Rec f '[]
type RecSubsetFCtx (Rec :: (k -> Type) -> [k] -> Type) (f :: k -> Type) Source #
Instance details Defined in Data.Vinyl.Lens type RecSubsetFCtx (Rec :: (k -> Type) -> [k] -> Type) (f :: k -> Type) = ()
type RecSubsetFCtx (Rec :: (k -> Type) -> [k] -> Type) (f :: k -> Type) Source #
Instance details Defined in Data.Vinyl.Lens type RecSubsetFCtx (Rec :: (k -> Type) -> [k] -> Type) (f :: k -> Type) = ()
type RecElemFCtx (Rec :: (a -> Type) -> [a] -> Type) (f :: a -> Type) Source #
Instance details Defined in Data.Vinyl.Lens type RecElemFCtx (Rec :: (a -> Type) -> [a] -> Type) (f :: a -> Type) = ()
type RecElemFCtx (Rec :: (a -> Type) -> [a] -> Type) (f :: a -> Type) Source #
Instance details Defined in Data.Vinyl.Lens type RecElemFCtx (Rec :: (a -> Type) -> [a] -> Type) (f :: a -> Type) = ()
type Rep (Rec f (r ': rs)) Source #
Instance details Defined in Data.Vinyl.Core type Rep (Rec f (r ': rs)) = C1 ('MetaCons ":&" ('InfixI 'RightAssociative 7) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f r)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rep (Rec f rs)))
type Rep (Rec f ('[] :: [u])) Source #
Instance details Defined in Data.Vinyl.Core type Rep (Rec f ('[] :: [u])) = C1 ('MetaCons "RNil" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (U1 :: Type -> Type))

type (∈) r rs = RElem r rs (RIndex r rs) Source #

A shorthand for RElem which supplies its index.

type (⊆) rs ss = RSubset rs ss (RImage rs ss) Source #

A shorthand for RSubset which supplies its image.

type (≅) rs ss = REquivalent rs ss (RImage rs ss) (RImage ss rs) Source #

A shorthand for REquivalent which supplies its images.

type (<:) rs ss = rs ⊆ ss Source #

A non-unicode equivalent of (⊆).

type (:~:) rs ss = rs ≅ ss Source #

A non-unicode equivalent of (≅).