Safe Haskell	Safe-Inferred
Language	Haskell2010

Sqel.Class.Mods

Documentation

class SymNP p ps where Source #

Methods

symNP :: p -> NP I ps Source #

Instances

Instances details

ps ~ '[p] => SymNP p ps Source #
Instance details Defined in Sqel.Class.Mods Methods symNP :: p -> NP I ps Source #
SymNP p1 ps => SymNP (p0 :> p1) (p0 ': ps) Source #
Instance details Defined in Sqel.Class.Mods Methods symNP :: (p0 :> p1) -> NP I (p0 ': ps) Source #
SymNP (NP I ps) ps Source #
Instance details Defined in Sqel.Class.Mods Methods symNP :: NP I ps -> NP I ps Source #

symMods :: SymNP p ps => p -> Mods ps Source #

class MapMod' p ps0 ps1 | p ps0 -> ps1 where Source #

Methods

mapMod' :: p -> (p -> p) -> Mods ps0 -> Mods ps1 Source #

Instances

Instances details

MapMod' p ('[] :: [Type]) '[p] Source #
Instance details Defined in Sqel.Class.Mods Methods mapMod' :: p -> (p -> p) -> Mods '[] -> Mods '[p] Source #
MapMod' p ps0 ps1 => MapMod' p (a' ': ps0) (a' ': ps1) Source #
Instance details Defined in Sqel.Class.Mods Methods mapMod' :: p -> (p -> p) -> Mods (a' ': ps0) -> Mods (a' ': ps1) Source #
MapMod' p (p ': ps) (p ': ps) Source #
Instance details Defined in Sqel.Class.Mods Methods mapMod' :: p -> (p -> p) -> Mods (p ': ps) -> Mods (p ': ps) Source #

amendMod' :: MapMod' p ps0 ps1 => p -> Mods ps0 -> Mods ps1 Source #

setMod' :: MapMod' p ps0 ps1 => p -> Mods ps0 -> Mods ps1 Source #

class OverMod' p ps where Source #

Methods

overMod' :: (p -> p) -> Mods ps -> Mods ps Source #

Instances

Instances details

OverMod' p ('[] :: [Type]) Source #
Instance details Defined in Sqel.Class.Mods Methods overMod' :: (p -> p) -> Mods '[] -> Mods '[] Source #
OverMod' p ps => OverMod' p (a' ': ps) Source #
Instance details Defined in Sqel.Class.Mods Methods overMod' :: (p -> p) -> Mods (a' ': ps) -> Mods (a' ': ps) Source #
OverMod' p (p ': ps) Source #
Instance details Defined in Sqel.Class.Mods Methods overMod' :: (p -> p) -> Mods (p ': ps) -> Mods (p ': ps) Source #

class CMapMod' c p0 p p1 ps0 ps1 | ps0 p0 p1 -> p ps1 where Source #

Methods

cmapMod' :: p0 -> (c p p1 => p -> p1) -> Mods ps0 -> Mods ps1 Source #

Instances

Instances details

CMapMod' c p0 p1 p1 ('[] :: [Type]) '[p0] Source #
Instance details Defined in Sqel.Class.Mods Methods cmapMod' :: p0 -> (c p1 p1 => p1 -> p1) -> Mods '[] -> Mods '[p0] Source #
CMapMod' c p0 p p1 ps0 ps1 => CMapMod' c p0 p p1 (a' ': ps0) (a' ': ps1) Source #
Instance details Defined in Sqel.Class.Mods Methods cmapMod' :: p0 -> (c p p1 => p -> p1) -> Mods (a' ': ps0) -> Mods (a' ': ps1) Source #
c p p1 => CMapMod' c p0 p p1 (p ': ps) (p1 ': ps) Source #
Instance details Defined in Sqel.Class.Mods Methods cmapMod' :: p0 -> (c p p1 => p -> p1) -> Mods (p ': ps) -> Mods (p1 ': ps) Source #

class GetMod c p ps where Source #

Methods

getMod :: (c => p) -> Mods ps -> p Source #

Instances

Instances details

c => GetMod c p ('[] :: [Type]) Source #
Instance details Defined in Sqel.Class.Mods Methods getMod :: (c => p) -> Mods '[] -> p Source #
GetMod c p ps => GetMod c p (a' ': ps) Source #
Instance details Defined in Sqel.Class.Mods Methods getMod :: (c => p) -> Mods (a' ': ps) -> p Source #
GetMod c p (p ': ps) Source #
Instance details Defined in Sqel.Class.Mods Methods getMod :: (c => p) -> Mods (p ': ps) -> p Source #

class AddMod p s0 s1 | p s0 -> s1 where Source #

Methods

addMod :: p -> Dd s0 -> Dd s1 Source #

Instances

Instances details

AddMod p ('DdK sel ps a s) ('DdK sel (p ': ps) a s) Source #
Instance details Defined in Sqel.Class.Mods Methods addMod :: p -> Dd ('DdK sel ps a s) -> Dd ('DdK sel (p ': ps) a s) Source #

class MapMod p s0 s1 | p s0 -> s1 where Source #

Methods

mapMod :: p -> (p -> p) -> Dd s0 -> Dd s1 Source #

Instances

Instances details

MapMod' p ps0 ps1 => MapMod p ('DdK sel ps0 a s0) ('DdK sel ps1 a s0) Source #
Instance details Defined in Sqel.Class.Mods Methods mapMod :: p -> (p -> p) -> Dd ('DdK sel ps0 a s0) -> Dd ('DdK sel ps1 a s0) Source #

class OverMod p s where Source #

Methods

overMod :: (p -> p) -> Dd s -> Dd s Source #

Instances

Instances details

OverMod' p ps => OverMod p ('DdK sel ps a s0) Source #
Instance details Defined in Sqel.Class.Mods Methods overMod :: (p -> p) -> Dd ('DdK sel ps a s0) -> Dd ('DdK sel ps a s0) Source #

class CMapMod c p0 p p1 s0 s1 | s0 p0 p1 -> p s1 where Source #

Methods

cmapMod :: p0 -> (c p p1 => p -> p1) -> Dd s0 -> Dd s1 Source #

Instances

Instances details

CMapMod' c p0 p p1 ps0 ps1 => CMapMod c p0 p p1 ('DdK sel ps0 a s0) ('DdK sel ps1 a s0) Source #
Instance details Defined in Sqel.Class.Mods Methods cmapMod :: p0 -> (c p p1 => p -> p1) -> Dd ('DdK sel ps0 a s0) -> Dd ('DdK sel ps1 a s0) Source #

amendMod :: MapMod p s0 s1 => p -> Dd s0 -> Dd s1 Source #

setMod :: MapMod p s0 s1 => p -> Dd s0 -> Dd s1 Source #

class OptMod p ps res | ps p -> res where Source #

Methods

optMod :: Mods ps -> res Source #

Instances

Instances details

OptMod p ('[] :: [Type]) () Source #
Instance details Defined in Sqel.Class.Mods Methods optMod :: Mods '[] -> () Source #
OptMod p (p ': ps) p Source #
Instance details Defined in Sqel.Class.Mods Methods optMod :: Mods (p ': ps) -> p Source #
OptMod p ps p1 => OptMod p (p0 ': ps) p1 Source #
Instance details Defined in Sqel.Class.Mods Methods optMod :: Mods (p0 ': ps) -> p1 Source #

class MaybeMod p ps where Source #

Methods

maybeMod :: Mods ps -> Maybe p Source #

Instances

Instances details

MaybeMod p ('[] :: [Type]) Source #
Instance details Defined in Sqel.Class.Mods Methods maybeMod :: Mods '[] -> Maybe p Source #
MaybeMod p (p ': ps) Source #
Instance details Defined in Sqel.Class.Mods Methods maybeMod :: Mods (p ': ps) -> Maybe p Source #
MaybeMod p ps => MaybeMod p (p0 ': ps) Source #
Instance details Defined in Sqel.Class.Mods Methods maybeMod :: Mods (p0 ': ps) -> Maybe p Source #