Module

Data.Lens.Barlow.Types

#TList 

data TList

#TNil 

data TNil :: TList

#TCons 

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

#Nat 

data Nat

#Z 

data Z :: Nat

#S 

data S :: Nat -> Nat

#N0 

type N0 = Z

#N1 

type N1 = S N0

#N2 

type N2 = S N1

#N3 

type N3 = S N2

#N4 

type N4 = S N3

#N5 

type N5 = S N4

#N6 

type N6 = S N5

#N7 

type N7 = S N6

#N8 

type N8 = S N7

#N9 

type N9 = S N8

#LensType 

data LensType

#QuestionMark 

data QuestionMark :: LensType

#RightArrow 

data RightArrow :: LensType

#LeftArrow 

data LeftArrow :: LensType

#Plus 

data Plus :: LensType

#ExclamationMark 

data ExclamationMark :: LensType

#Percentage 

data Percentage :: forall k. k -> LensType

#RecordField 

data RecordField :: Symbol -> LensType

Modules