Modulesop-extras-0.4.1.1Haskell2010
Data.SOP.OptNP
NP with optional values
Intended for qualified import
import Data.SOP.OptNP (OptNP (..), ViewOptNP (..))
import qualified Data.SOP.OptNP as OptNPSynopsis
- type NonEmptyOptNP
- data OptNP
- value at
- value empty
- value fromNP
- value fromNonEmptyNP
- value fromSingleton
- value singleton
- value toNP
- data ViewOptNP
- value view
- value combine
- value combineWith
- value zipWith
- Packagesop-extras-0.4.1.1
- Exports14
- LanguageHaskell2010
- LicenceApache-2.0
- SourceOptNP.hs
Like an NP, but with optional values
Instances10HTrans, HAp, HSequence, HTraverse_, Eq, Show, …
HTrans (OptNP empty) (OptNP empty)Defined in sop-extras-0.4.1.1 · Data.SOP.OptNPHAp (OptNP empty)Defined in sop-extras-0.4.1.1 · Data.SOP.OptNPHSequence (OptNP empty)Defined in sop-extras-0.4.1.1 · Data.SOP.OptNPHTraverse_ (OptNP empty)Defined in sop-extras-0.4.1.1 · Data.SOP.OptNPAll (Compose Eq f) xs => Eq (OptNP empty f xs)Defined in sop-extras-0.4.1.1 · Data.SOP.OptNPAll (Compose Show f) xs => Show (OptNP empty f xs)Defined in sop-extras-0.4.1.1 · Data.SOP.OptNPtype Prod (OptNP empty) = NPDefined in sop-extras-0.4.1.1 · Data.SOP.OptNPtype AllN (OptNP empty) c = All cDefined in sop-extras-0.4.1.1 · Data.SOP.OptNPtype Same (OptNP empty) = OptNP emptyDefined in sop-extras-0.4.1.1 · Data.SOP.OptNPtype SListIN (OptNP empty) = SListIDefined in sop-extras-0.4.1.1 · Data.SOP.OptNP
If OptNP is not empty, it must contain at least one value
View
Constructors
OptNP_ExactlyOne :: f x -> ViewOptNP f '[x]OptNP_AtLeastTwo :: ViewOptNP f (x ': y ': zs)