grapefruit-records-0.1.0.7: A record system for Functional Reactive Programming

Safe HaskellSafe
LanguageHaskell98

Data.Record.Plain

Documentation

data PlainKind Source #

Instances

Kind PlainKind Source # 

Associated Types

data Forall PlainKind (a :: * -> *) :: * Source #

Methods

encase :: (forall sort. Sort PlainKind sort => piece sort) -> Forall PlainKind piece Source #

Sort PlainKind val Source # 

Methods

specialize :: Forall PlainKind piece -> piece val Source #

data Forall PlainKind Source # 
data Forall PlainKind = PlainForall (forall val. piece val)

data PlainStyle Source #

Instances

Style PlainStyle Source # 

Associated Types

type K PlainStyle :: * Source #

type K PlainStyle Source # 
type Value PlainStyle val Source # 
type Value PlainStyle val = val