NonEmptyList-0.0.9: A list with a length of at least one.

Test.Data.List.NonEmpty

Documentation

main :: IO ()Source

tests :: [Test]Source

prop_neHead :: String -> [String] -> Bool Source

prop_neTail :: String -> [String] -> Bool Source

prop_nonEmpty :: String -> [String] -> Bool Source

prop_nonEmptyAlias :: String -> [String] -> Bool Source

prop_toNonEmpty :: [String] -> Bool Source

prop_unsafeNonEmpty :: [String] -> Property Source

prop_cons :: String -> NonEmpty String -> Bool Source

prop_append :: NonEmpty String -> NonEmpty String -> Bool Source

prop_reverse :: NonEmpty String -> Bool Source