optics-core-0.1

Safe HaskellNone
LanguageHaskell2010

Optics.Unindexed

Documentation

class UnindexableOptic k where #

Minimal complete definition

unIx

Methods

unIx :: CheckIndices i is => Optic k is s t a b -> Optic k '[] s t a b #

Downcast an indexed optic to its unindexed equivalent.

Instances
UnindexableOptic A_Fold # 
Instance details

Defined in Optics.Unindexed

Methods

unIx :: CheckIndices i is => Optic A_Fold is s t a b -> Optic A_Fold [] s t a b #

UnindexableOptic A_Setter # 
Instance details

Defined in Optics.Unindexed

Methods

unIx :: CheckIndices i is => Optic A_Setter is s t a b -> Optic A_Setter [] s t a b #

UnindexableOptic A_Traversal # 
Instance details

Defined in Optics.Unindexed

Methods

unIx :: CheckIndices i is => Optic A_Traversal is s t a b -> Optic A_Traversal [] s t a b #