Module

Data.Lens.Barlow.Types

Package
purescript-barlow-lens
Repository
sigma-andex/purescript-barlow-lens

#TList Source

data TList

#TNil Source

data TNil :: TList

#TCons Source

data TCons :: forall k. k -> TList -> TList

#Nat Source

data Nat

#Z Source

data Z :: Nat

#S Source

data S :: Nat -> Nat

#N0 Source

type N0 = Z

#N1 Source

type N1 = S N0

#N2 Source

type N2 = S N1

#N3 Source

type N3 = S N2

#N4 Source

type N4 = S N3

#N5 Source

type N5 = S N4

#N6 Source

type N6 = S N5

#N7 Source

type N7 = S N6

#N8 Source

type N8 = S N7

#N9 Source

type N9 = S N8

#LensType Source

data LensType

#QuestionMark Source

data QuestionMark :: LensType

#RightArrow Source

data RightArrow :: LensType

#LeftArrow Source

data LeftArrow :: LensType

#Plus Source

data Plus :: LensType

#ExclamationMark Source

data ExclamationMark :: LensType

#Percentage Source

data Percentage :: forall k. k -> LensType

#RecordField Source

data RecordField :: Symbol -> LensType
Modules
Data.Lens.Barlow
Data.Lens.Barlow.Construction
Data.Lens.Barlow.Generic
Data.Lens.Barlow.Helpers
Data.Lens.Barlow.Parser
Data.Lens.Barlow.Types