Control.Monad.Reader.Has

Documentation

class Has part record where

Minimal complete definition

Nothing

Methods

extract :: record -> part

extract :: forall path. (Generic record, SuccessfulSearch part record path) => record -> part

Instances

Has record record

Defined in Control.Monad.Reader.Has

Methods

extract :: record -> record

SuccessfulSearch a1 (a0, a1) path => Has a1 (a0, a1)

Defined in Control.Monad.Reader.Has

Methods

extract :: (a0, a1) -> a1

SuccessfulSearch a0 (a0, a1) path => Has a0 (a0, a1)

Defined in Control.Monad.Reader.Has

Methods

extract :: (a0, a1) -> a0

SuccessfulSearch a2 (a0, a1, a2) path => Has a2 (a0, a1, a2)

Defined in Control.Monad.Reader.Has

Methods

extract :: (a0, a1, a2) -> a2

SuccessfulSearch a1 (a0, a1, a2) path => Has a1 (a0, a1, a2)

Defined in Control.Monad.Reader.Has

Methods

extract :: (a0, a1, a2) -> a1

SuccessfulSearch a0 (a0, a1, a2) path => Has a0 (a0, a1, a2)

Defined in Control.Monad.Reader.Has

Methods

extract :: (a0, a1, a2) -> a0