Control.Reference.Examples.Examples

A collection of random example references

Documentation

test1 :: Maybe Integer

test2 :: Either a Integer

test3 :: Either a Integer

test4 :: Either a (Maybe Integer)

test5 :: Either a (Maybe [Integer])

test6 :: (Int, Int)

test7 :: (Maybe Int, Maybe Int)

test8 :: IO (IO (MVar a))

test9 :: Identity [()]

test10 :: [Int]

test11 :: [Int]

test12 :: IO (Int, Int)

data Dept

Constructors

Dept

Fields

_manager :: Employee

_staff :: [Employee]

Instances

Show Dept

data Employee

Constructors

Employee

Fields

__name :: String

__salary :: Float

Instances

Show Employee

_salary :: Lens' Employee Float

_name :: Lens' Employee String

manager :: Monad w => Lens' w Dept Dept Employee Employee

staff :: Monad w => Lens' w Dept Dept [Employee] [Employee]

name :: (Functor w, Monad w) => Lens' w Employee Employee String String

salary :: (Functor w, Monad w) => Lens' w Employee Employee Float Float

dept :: Dept

test13 :: Dept

test14 :: [[Char]]

__1 :: Lens' Identity (Integer, Char) (String, Char) Integer String

test15 :: (String, Char)

test16 :: (Either Int Int, Either Int Int)

data PWrapped m a

Constructors

PWrapped

Fields

_pwrap :: m a

pwrap :: Lens (PWrapped m a) (PWrapped n b) (m a) (n b)

data MWrapped a

Constructors

MWrapped

Fields

_mwrap :: Maybe a

mwrap :: Lens (MWrapped a) (MWrapped b) (Maybe a) (Maybe b)

data Maybe' a

Constructors

Just'

Fields

_fromJust' :: a

Nothing'

fromJust' :: Monad w => LensPart' w (Maybe' a) (Maybe' b) a b

data Tuple a b

Constructors

Tuple

Fields

_fst' :: a

_snd' :: b

fst' :: Monad w => Lens' w (Tuple a c) (Tuple b c) a b

test :: IO ()