Data.Ruin.R

Data kind for fields declarations

data FD

Constructors

type s ::: ty

type family InsertFD (s :: Symbol) (ty :: *) (fd :: FD) :: FD where ...

type family NilFD :: FD where ...

type family MkFD (ds :: [(Symbol, *)]) :: FD where ...

type family PlusFD (fd1 :: FD) (fd2 :: FD) :: FD where ...

Operations

type family DeleteFD (s :: Symbol) (fd :: FD) :: FD where ...

type family LookupFD (s :: Symbol) (fd :: FD) :: * where ...

type family LMergeFD (fd1 :: FD) (fd2 :: FD) :: FD where ...

type family HomogenizeFD (c :: *) (fd :: FD) :: FD where ...

Constraints

type family FDAbsent (s :: Symbol) (fd :: FD) :: Constraint where ...

type family FDFoldable (fun :: *) (fd1 :: FD) (fd2 :: FD) (m :: *) where ...

type family FDFoldable2 (fun :: *) (fd1 :: FD) (fd2 :: FD) (fd3 :: FD) (m :: *) where ...

type family FDHomogenous (a :: *) (fd :: FD) :: Constraint where ...

type family FDPure (a :: *) (fd :: FD) :: Constraint where ...

type family FDSplat (fd1 :: FD) (fd2 :: FD) (fd3 :: FD) :: Constraint where ...

type family FDSplatA (i :: * -> *) (fd1 :: FD) (fd2 :: FD) (fd3 :: FD) :: Constraint where ...

fdIdentities

Anonymous records

data R fd

type Rcrd ds

Constructors

nilR

oneR

plusR

Operations

addR

adjustR

deleteR

extricate1R

getR

insertR

lensR

lmergeR

setR

Fieldwise operations

class FPure a s b

data RCompare

data REq

data RShowField

rfoldR

rfoldMapR

rfoldMap2R

rlabelR

rmapR

rmapAR

rmappendR

rmemptyR

rpureR

rpolypureR

rsappendR

rsplatR

rsplatAR

Monomorphic specializations

monoadjustR

lens'R

rmonopureR

Field labels

data Label s

mkLabel