Pandora.Paradigm.Structure.Ability.Accessible

Documentation

class Accessible tgt src where

Methods

access :: src :-. tgt

Instances

Accessible b a => Accessible b (s :*: a)

Defined in Pandora.Paradigm.Structure

Methods

access :: (s :*: a) :-. b

Accessible a (s :*: a)

Defined in Pandora.Paradigm.Structure

Methods

access :: (s :*: a) :-. a

Accessible s (s :*: a)

Defined in Pandora.Paradigm.Structure

Methods

access :: (s :*: a) :-. s