Skip to content
This repository was archived by the owner on Jun 15, 2023. It is now read-only.

Commit e515d33

Browse files
committed
Add head
1 parent a3fffa7 commit e515d33

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

src/Data/Json/Extended.purs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ module Data.Json.Extended
55
, getEJson
66
, roll
77
, unroll
8+
, head
89

910
, null
1011
, boolean
@@ -71,6 +72,9 @@ unroll =
7172
>>> Mu.unroll
7273
>>> map EJson
7374

75+
head EJson Sig.EJsonF (Mu.Mu Sig.EJsonF)
76+
head = Mu.unroll <<< getEJson
77+
7478
instance eqEJsonEq EJson where
7579
eq (EJson a) (EJson b) =
7680
eq1 (Mu.unroll a) (Mu.unroll b)

0 commit comments

Comments
 (0)