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

#QuestionMark Source

#RightArrow Source

#LeftArrow Source

#Plus Source

data Plus :: LensType

#ExclamationMark Source

#Percentage Source

data Percentage :: forall k. k -> LensType

#RecordField Source