Compose Iff

Stream: new members

[Jakub Nowak]

Is there a notation to compose iff? I feel like there should be, but I have no idea how to find it. I've tried using
@loogle (?a ↔ ?b) → (?b ↔ ?c) → (?a ↔ ?c)
but it doesn't work. Although, something like this should work in e.g. hoogle.haskell.org.

[loogle]

Failure! Bot is unavailable

[Robin Arnez]

docs#Iff.trans​?

[Robin Arnez]

or calc also works

[Jakub Nowak]

Thanks! calc is nice for multiple steps.