Roll out non-OpenAPI details history pages

docs-main/appdev/reference/daml-standard-library/da-action-state.mdx

@@ -79,7 +79,7 @@ Instances:
 
 ### `evalState`
 
-```haskell
+```daml
 evalState : State s a -> s -> a
 ```
 
@@ -89,7 +89,7 @@ Special case of `runState` that does not return the final state.
 
 ### `execState`
 
-```haskell
+```daml
 execState : State s a -> s -> s
 ```
 

docs-main/appdev/reference/daml-standard-library/da-action.mdx

@@ -31,7 +31,7 @@ Deprecated since: `-`
 
 ### `when`
 
-```haskell
+```daml
 when : Applicative f => Bool -> f () -> f ()
 ```
 
@@ -50,7 +50,7 @@ is not evaluated at all.
 
 ### `unless`
 
-```haskell
+```daml
 unless : Applicative f => Bool -> f () -> f ()
 ```
 
@@ -64,7 +64,7 @@ is not evaluated at all.
 
 ### `foldrA`
 
-```haskell
+```daml
 foldrA : Action m => (a -> b -> m b) -> b -> [a] -> m b
 ```
 
@@ -76,7 +76,7 @@ over the list arguments.
 
 ### `foldr1A`
 
-```haskell
+```daml
 foldr1A : Action m => (a -> a -> m a) -> [a] -> m a
 ```
 
@@ -87,7 +87,7 @@ with an empty list argument.
 
 ### `foldlA`
 
-```haskell
+```daml
 foldlA : Action m => (b -> a -> m b) -> b -> [a] -> m b
 ```
 
@@ -99,7 +99,7 @@ left-to-right over the list arguments.
 
 ### `foldl1A`
 
-```haskell
+```daml
 foldl1A : Action m => (a -> a -> m a) -> [a] -> m a
 ```
 
@@ -110,7 +110,7 @@ presented with an empty list argument.
 
 ### `filterA`
 
-```haskell
+```daml
 filterA : Applicative m => (a -> m Bool) -> [a] -> m [a]
 ```
 
@@ -125,7 +125,7 @@ filterA (fmap (\iou -> iou.currency == "GBP") . fetch) iouCids
 
 ### `replicateA`
 
-```haskell
+```daml
 replicateA : Applicative m => Int -> m a -> m [a]
 ```
 
@@ -136,7 +136,7 @@ results.
 
 ### `replicateA_`
 
-```haskell
+```daml
 replicateA_ : Applicative m => Int -> m a -> m ()
 ```
 
@@ -146,7 +146,7 @@ Like `replicateA`, but discards the result.
 
 ### `>=>`
 
-```haskell
+```daml
 >=> : Action m => (a -> m b) -> (b -> m c) -> a -> m c
 ```
 
@@ -156,7 +156,7 @@ Left-to-right composition of Kleisli arrows.
 
 ### `<=<`
 
-```haskell
+```daml
 <=< : Action m => (b -> m c) -> (a -> m b) -> a -> m c
 ```
 

docs-main/appdev/reference/daml-standard-library/da-assert.mdx

@@ -29,7 +29,7 @@ Deprecated since: `-`
 
 ### `assertEq`
 
-```haskell
+```daml
 assertEq : (CanAssert m, Show a, Eq a) => a -> a -> m ()
 ```
 
@@ -40,7 +40,7 @@ fail with a message.
 
 ### `===`
 
-```haskell
+```daml
 === : (CanAssert m, Show a, Eq a) => a -> a -> m ()
 ```
 
@@ -50,7 +50,7 @@ Infix version of `assertEq`.
 
 ### `assertNotEq`
 
-```haskell
+```daml
 assertNotEq : (CanAssert m, Show a, Eq a) => a -> a -> m ()
 ```
 
@@ -61,7 +61,7 @@ fail with a message.
 
 ### `=/=`
 
-```haskell
+```daml
 =/= : (CanAssert m, Show a, Eq a) => a -> a -> m ()
 ```
 
@@ -71,7 +71,7 @@ Infix version of `assertNotEq`.
 
 ### `assertAfterMsg`
 
-```haskell
+```daml
 assertAfterMsg : (CanAssert m, HasTime m) => Text -> Time -> m ()
 ```
 
@@ -82,7 +82,7 @@ abort with a message.
 
 ### `assertBeforeMsg`
 
-```haskell
+```daml
 assertBeforeMsg : (CanAssert m, HasTime m) => Text -> Time -> m ()
 ```
 
@@ -93,7 +93,7 @@ abort with a message.
 
 ### `assertWithinDeadline`
 
-```haskell
+```daml
 assertWithinDeadline : Text -> Time -> Update ()
 ```
 
@@ -104,7 +104,7 @@ If it's not, abort with a message.
 
 ### `assertDeadlineExceeded`
 
-```haskell
+```daml
 assertDeadlineExceeded : Text -> Time -> Update ()
 ```
 

docs-main/appdev/reference/daml-standard-library/da-bifunctor.mdx

@@ -45,27 +45,27 @@ defining both first and second.
 
 If you supply bimap, you should ensure that:
 
-```haskell-force
+```daml-force
 `bimap identity identity` ≡ `identity`
 ```
 
 If you supply first and second, ensure:
 
-```haskell-force
+```daml-force
 first identity ≡ identity
 second identity ≡ identity
 
 ```
 
 If you supply both, you should also ensure:
 
-```haskell-force
+```daml-force
 bimap f g ≡ first f . second g
 ```
 
 By parametricity, these will ensure that:
 
-```haskell-force
+```daml-force
 
 bimap  (f . g) (h . i) ≡ bimap f h . bimap g i
 first  (f . g) ≡ first  f . first  g
@@ -78,7 +78,7 @@ Methods:
 - `bimap : (a -> b) -> (c -> d) -> p a c -> p b d`
   Map over both arguments at the same time.
 
-  ```haskell-force
+  ```daml-force
   bimap f g ≡ first f . second g
   ```
 
@@ -97,7 +97,7 @@ Methods:
 - `first : (a -> b) -> p a c -> p b c`
   Map covariantly over the first argument.
 
-  ```haskell-force
+  ```daml-force
   first f ≡ bimap f identity
   ```
 
@@ -113,7 +113,7 @@ Methods:
 - `second : (b -> c) -> p a b -> p a c`
   Map covariantly over the second argument.
 
-  ```haskell-force
+  ```daml-force
   second ≡ bimap identity
   ```