Data.Record.Plugin.Runtime

Re-exports of types and functions used by generated code

This exports all functionality required by the generated code, with the exception of GHC generics (name clash with large-records generics).

Base

type Constraint = Constraint

type Proxy = Proxy

type Type = Type

proxy :: forall k (a :: k). Proxy a

AnyArray

type AnyArray = SmallArray Any

anyArrayFromList :: [Any] -> AnyArray

anyArrayToList :: AnyArray -> [Any]

anyArrayIndex :: AnyArray -> Int -> Any

anyArrayUpdate :: AnyArray -> [(Int, Any)] -> AnyArray

large-generics

type Rep = Rep

type Dict = Dict

anyArrayToRep :: AnyArray -> Rep I a

anyArrayFromRep :: Rep I a -> AnyArray

mkDicts :: [Dict c Any] -> Rep (Dict c) a

mkDict :: c x => Proxy c -> Proxy x -> Dict c x

mkStrictField :: forall name a. KnownSymbol name => Proxy name -> FieldMetadata a

mkLazyField :: forall name a. KnownSymbol name => Proxy name -> FieldMetadata a

mkMetadata

Arguments

:: String

Record name

-> String

Constructor name

-> [FieldMetadata Any]

-> Metadata a

wrappers

gcompare :: (Generic a, Constraints a Ord) => a -> a -> Ordering

geq :: (Generic a, Constraints a Eq) => a -> a -> Bool

gshowsPrec :: (Generic a, Constraints a Show) => Int -> a -> ShowS

noInlineUnsafeCo :: a -> b

ThroughLRGenerics

type ThroughLRGenerics = ThroughLRGenerics

wrapThroughLRGenerics :: a -> ThroughLRGenerics a p

unwrapThroughLRGenerics :: ThroughLRGenerics a p -> a