Module

Data.Lens.Barlow.Types

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

#TList Source

data TList

#TNil Source

data TNil :: TListdata TNil

#TCons Source

data TCons :: forall k. k -> TList -> TListdata TCons t0 t1

#Nat Source

data Nat

#Z Source

data Z :: Natdata Z

#S Source

data S :: Nat -> Natdata S t0

#N0 Source

type N0 :: Nattype N0 = Z

#N1 Source

type N1 :: Nattype N1 = S N0

#N2 Source

type N2 :: Nattype N2 = S N1

#N3 Source

type N3 :: Nattype N3 = S N2

#N4 Source

type N4 :: Nattype N4 = S N3

#N5 Source

type N5 :: Nattype N5 = S N4

#N6 Source

type N6 :: Nattype N6 = S N5

#N7 Source

type N7 :: Nattype N7 = S N6

#N8 Source

type N8 :: Nattype N8 = S N7

#N9 Source

type N9 :: Nattype N9 = S N8

#LensType Source

#QuestionMark Source

#RightArrow Source

#LeftArrow Source

#Plus Source

data Plus :: LensTypedata Plus

#ExclamationMark Source

#Percentage Source

data Percentage :: forall k. k -> LensTypedata Percentage t0

#RecordField Source