bidispec-extras-0.1: Extra helper functions for bidirectional specifications

Data.BidiSpec.Extras

Documentation

fromPair :: (a -> b -> c) -> (a, b) -> cSource

fromTriple :: (a -> b -> c -> d) -> (a, b, c) -> dSource

fromQuadruple :: (a -> b -> c -> d -> e) -> (a, b, c, d) -> eSource

fromQuintuple :: (a -> b -> c -> d -> e -> f) -> (a, b, c, d, e) -> fSource

toPair :: (t -> a, t -> b) -> t -> (a, b)Source

toTriple :: (t -> a, t -> b, t -> c) -> t -> (a, b, c)Source

toQuadruple :: (t -> a, t -> b, t -> c, t -> d) -> t -> (a, b, c, d)Source

toQuintuple :: (t -> a, t -> b, t -> c, t -> d, t -> e) -> t -> (a, b, c, d, e)Source