Data.RBR.Demoted

Documentation

emptyMap :: Map String TypeRep

class DemotableColor (c :: Color) where

Methods

demoteColor :: Proxy c -> Color

Instances

DemotableColor 'B

Defined in Data.RBR.Demoted

Methods

demoteColor :: Proxy 'B -> Color

DemotableColor 'R

Defined in Data.RBR.Demoted

Methods

demoteColor :: Proxy 'R -> Color

class DemotableMap (t :: Map Symbol Type) where

Methods

demoteMap :: Proxy t -> Map String TypeRep

Instances

DemotableMap ('E :: Map Symbol Type)

Defined in Data.RBR.Demoted

Methods

demoteMap :: Proxy 'E -> Map String TypeRep

(DemotableColor c, KnownSymbol s, Typeable ty, DemotableMap l, DemotableMap r) => DemotableMap ('N c l s ty r)

Defined in Data.RBR.Demoted

Methods

demoteMap :: Proxy ('N c l s ty r) -> Map String TypeRep

t_insert :: Ord a => a -> v -> Map a v -> Map a v

t_balance :: Map a v -> a -> v -> Map a v -> Map a v

t_delete :: Ord a => a -> Map a v -> Map a v

t_balleft :: Map a v -> a -> v -> Map a v -> Map a v

t_balright :: Map a v -> a -> v -> Map a v -> Map a v

t_sub1 :: Map a v -> Map a v

t_app :: Map a v -> Map a v -> Map a v