Sqel.Class.Mods

Documentation

class SymNP p ps where

Methods

symNP :: p -> NP I ps

Instances

ps ~ '[p] => SymNP p ps

Defined in Sqel.Class.Mods

Methods

symNP :: p -> NP I ps

SymNP p1 ps => SymNP (p0 :> p1) (p0 ': ps)

Defined in Sqel.Class.Mods

Methods

symNP :: (p0 :> p1) -> NP I (p0 ': ps)

SymNP (NP I ps) ps

Defined in Sqel.Class.Mods

Methods

symNP :: NP I ps -> NP I ps

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

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

Methods

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

Instances

MapMod' p ('[] :: [Type]) '[p]

Defined in Sqel.Class.Mods

Methods

mapMod' :: p -> (p -> p) -> Mods '[] -> Mods '[p]

MapMod' p ps0 ps1 => MapMod' p (a' ': ps0) (a' ': ps1)

Defined in Sqel.Class.Mods

Methods

mapMod' :: p -> (p -> p) -> Mods (a' ': ps0) -> Mods (a' ': ps1)

MapMod' p (p ': ps) (p ': ps)

Defined in Sqel.Class.Mods

Methods

mapMod' :: p -> (p -> p) -> Mods (p ': ps) -> Mods (p ': ps)

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

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

class OverMod' p ps where

Methods

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

Instances

OverMod' p ('[] :: [Type])

Defined in Sqel.Class.Mods

Methods

overMod' :: (p -> p) -> Mods '[] -> Mods '[]

OverMod' p ps => OverMod' p (a' ': ps)

Defined in Sqel.Class.Mods

Methods

overMod' :: (p -> p) -> Mods (a' ': ps) -> Mods (a' ': ps)

OverMod' p (p ': ps)

Defined in Sqel.Class.Mods

Methods

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

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

Methods

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

Instances

CMapMod' c p0 p1 p1 ('[] :: [Type]) '[p0]

Defined in Sqel.Class.Mods

Methods

cmapMod' :: p0 -> (c p1 p1 => p1 -> p1) -> Mods '[] -> Mods '[p0]

CMapMod' c p0 p p1 ps0 ps1 => CMapMod' c p0 p p1 (a' ': ps0) (a' ': ps1)

Defined in Sqel.Class.Mods

Methods

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

c p p1 => CMapMod' c p0 p p1 (p ': ps) (p1 ': ps)

Defined in Sqel.Class.Mods

Methods

cmapMod' :: p0 -> (c p p1 => p -> p1) -> Mods (p ': ps) -> Mods (p1 ': ps)

class GetMod c p ps where

Methods

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

Instances

c => GetMod c p ('[] :: [Type])

Defined in Sqel.Class.Mods

Methods

getMod :: (c => p) -> Mods '[] -> p

GetMod c p ps => GetMod c p (a' ': ps)

Defined in Sqel.Class.Mods

Methods

getMod :: (c => p) -> Mods (a' ': ps) -> p

GetMod c p (p ': ps)

Defined in Sqel.Class.Mods

Methods

getMod :: (c => p) -> Mods (p ': ps) -> p

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

Methods

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

Instances

AddMod p ('DdK sel ps a s) ('DdK sel (p ': ps) a s)

Defined in Sqel.Class.Mods

Methods

addMod :: p -> Dd ('DdK sel ps a s) -> Dd ('DdK sel (p ': ps) a s)

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

Methods

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

Instances

MapMod' p ps0 ps1 => MapMod p ('DdK sel ps0 a s0) ('DdK sel ps1 a s0)

Defined in Sqel.Class.Mods

Methods

mapMod :: p -> (p -> p) -> Dd ('DdK sel ps0 a s0) -> Dd ('DdK sel ps1 a s0)

class OverMod p s where

Methods

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

Instances

OverMod' p ps => OverMod p ('DdK sel ps a s0)

Defined in Sqel.Class.Mods

Methods

overMod :: (p -> p) -> Dd ('DdK sel ps a s0) -> Dd ('DdK sel ps a s0)

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

Methods

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

Instances

CMapMod' c p0 p p1 ps0 ps1 => CMapMod c p0 p p1 ('DdK sel ps0 a s0) ('DdK sel ps1 a s0)

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)

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

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

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

Methods

optMod :: Mods ps -> res

Instances

OptMod p ('[] :: [Type]) ()

Defined in Sqel.Class.Mods

Methods

optMod :: Mods '[] -> ()

OptMod p (p ': ps) p

Defined in Sqel.Class.Mods

Methods

optMod :: Mods (p ': ps) -> p

OptMod p ps p1 => OptMod p (p0 ': ps) p1

Defined in Sqel.Class.Mods

Methods

optMod :: Mods (p0 ': ps) -> p1

class MaybeMod p ps where

Methods

maybeMod :: Mods ps -> Maybe p

Instances

MaybeMod p ('[] :: [Type])

Defined in Sqel.Class.Mods

Methods

maybeMod :: Mods '[] -> Maybe p

MaybeMod p (p ': ps)

Defined in Sqel.Class.Mods

Methods

maybeMod :: Mods (p ': ps) -> Maybe p

MaybeMod p ps => MaybeMod p (p0 ': ps)

Defined in Sqel.Class.Mods

Methods

maybeMod :: Mods (p0 ': ps) -> Maybe p